Preprint
Aug 2026
From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving
On a new benchmark of 77 problems with an exact oracle, translation to Answer Set Programming is faithful on six of seven domains and fails only on aggregate coverage scheduling, which concentrates the translation tax in one diagnosable pattern.
Dipankar Sarkar
· 0 citations