Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives (Journal of Artificial Intelligence Research (JAIR), 2026)