Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Beyond Accuracy: Measuring Logical Compliance of Predictive Models
Guillaume Olivier Delplanque, Pierre Genevès, Nabil Layaïda +1
Machine learning models are predominantly evaluated through predictive performance metrics such as ranking quality, prediction error, or classification accuracy. While these metric…
cs.AI2025
On Scaling Neurosymbolic Programming through Guided Logical Inference
Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès +1
Probabilistic neurosymbolic learning seeks to integrate neural networks with symbolic programming. Many state-of-the-art systems rely on a reduction to the Probabilistic Weighted M…