Tag

NLP

2 results tagged "NLP"

Projects

↗
savanty Python

Bridging natural language and constraint satisfaction. Describe a discrete constraint problem in English; an LLM writes Answer Set Programming and Clingo solves it or proves it infeasible.

MIT solver code

Articles

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