Barbe, Sophie

2 publications

JAIR 2026 Scaling Neuro-Symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives Marianne Defresne, Romain Gambardella, Sophie Barbe, Thomas Schiex
IJCAI 2023 Scalable Coupling of Deep Learning with Logical Reasoning Marianne Defresne, Sophie Barbe, Thomas Schiex