TY  - RPRT
TI  - Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
AU  - Marianne Defresne
AU  - Romain Gambardella
AU  - Sophie Barbe
AU  - Thomas Schiex
PY  - 2025
DO  - 10.1613/jair.1.21105
UR  - https://arxiv.org/abs/2508.20978
ID  - 2508.20978
ER  -