@misc{indiciae654504548fd3,
  title = {From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving},
  author = {Dipankar Sarkar},
  year = {2026},
  url = {https://arxiv.org/abs/2608.14771},
  note = {Source identifier: 2608.14771}
}