2 papers
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.LO2010
A Tree Logic with Graded Paths and Nominals
Everardo Barcenas, Pierre Geneves, Nabil Layaida +1
Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so…