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.
NLPconstraint-satisfactionsolvers