@misc{indiciae8a93315938ad,
  title = {Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives},
  author = {Marianne Defresne and Romain Gambardella and Sophie Barbe and Thomas Schiex},
  year = {2025},
  doi = {10.1613/jair.1.21105},
  url = {https://arxiv.org/abs/2508.20978},
  note = {Source identifier: 2508.20978}
}