4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.AI2025★ 4 cited
Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
Marianne Defresne, Romain Gambardella, Sophie Barbe +1
In the ongoing quest for hybridizing discrete reasoning with neural nets, there is an increasing interest in neural architectures that can learn how to solve discrete reasoning or…
cs.AI2023
Scalable Coupling of Deep Learning with Logical Reasoning
Marianne Defresne, Sophie Barbe, Thomas Schiex
In the ongoing quest for hybridizing discrete reasoning with neural nets, there is an increasing interest in neural architectures that can learn how to solve discrete reasoning or…