Efficient Neuro-Symbolic Learning of Constraints and Objective. - Marianne Defresne; Romain Gambardella; Sophie Barbe; Thomas Schiex (CoRR, 2025)