From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving
DGX agentarXiv:2608.14771v1 Announce Type: new Abstract: Making language models solve constraint problems reliably often means having them translate the problem into a formal specification and delegating the s