Solver-Like Behavior in Large Language Models as Formalizers

Rikhil Amonkar, Stuti Mohan, Kevin Nguyen +3

In the LLM-as-formalizer paradigm, a large language model translates a problem into a formal program and leaves the search to a solver, gaining the solver's guarantees. Formalizers…