I've always wondered if it would work out well for an LLM to evaluate a constraint program/script when it encountered a problem involving constraints / logic. like or-tools with python or evaluating a minizinc program.
Yes, that's very plausible and I've thought similarly but not exactly the same approach for the diagramming limitations of LLM [1].
Fun facts, the presenter John Hooker was asked about how to determine the suitability of a particular heuristic solver for specific problems in his presentation. He casually answered that if he knows the solutions to that he will probably win a Nobel Prize. But perhaps AI/LLM can help in a way to recommend the solver based on the type of applications or problems.
If I'm not mistaken there's also Donald Knuth (TAOCP) asking questions after the JH's presentation, how often you see that?
teleforce|11 months ago
Fun facts, the presenter John Hooker was asked about how to determine the suitability of a particular heuristic solver for specific problems in his presentation. He casually answered that if he knows the solutions to that he will probably win a Nobel Prize. But perhaps AI/LLM can help in a way to recommend the solver based on the type of applications or problems.
If I'm not mistaken there's also Donald Knuth (TAOCP) asking questions after the JH's presentation, how often you see that?
[1] Diagrams AI can, and cannot, generate:
https://news.ycombinator.com/item?id=43424916