Tag
The paper introduces a minimal-core-guided repair method for neuro-symbolic constraint solving, where language models use proofs from unsatisfiable cores to correct translation errors, reducing fabrication in solutions.
A blog post explaining how building Brio train track layouts with a toddler inspired the author to explore constraint solving and backtracking search algorithms.