3 ms·
AI + classical algorithms is my sweet daydream. Trained heuristics (even better domain specific ones), deployed for classical A*, ILP families, focal search, et
by jvanderbot 3y ago
AI + classical algorithms is my sweet daydream. Trained heuristics (even better domain specific ones), deployed for classical A*, ILP families, focal search, etc etc.
That is going to be really amazing.
- amelius 3y agoEven solving large linear systems would already be amazing. But a SAT solver would be nice too :)
- jvanderbot 3y agoI misunderstand your comment. We have those solvers. I'm suggesting AI would plug into existing solvers. This is a ripe area for research.
- blt 3y agoIt is happening. There are papers on deep learning to improve the variable choice in branch-and-bound, etc
- jvanderbot 3y agoYeah my first exposure was from Marco Pavone's lab, on ML heuristics for MICP in the context of a cubical tumbling robot, IIRC. Really cool stuff.