From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving

Dipankar Sarkar

Making language models solve constraint problems reliably often means having them translate the problem into a formal specification and delegating the search to a sound solver. But…