Tag
Clingo
2 results tagged "Clingo"
Articles
Formal Optimisation
savanty vs NL4Opt, Chat LLMs and Hand-Written Solver Models
Where savanty fits: an LLM-to-Clingo pipeline compared with asking a chatbot, NL4Opt-style research systems, and writing an OR-Tools or MiniZinc model yourself.
Formal Optimisation
From English to Clingo: Where the Translation Breaks
Why turning English into a solver model is the hard part: where savanty's LLM-to-ASP translation fails, and how typed repair and unsat cores make it visible.