← Search

Thomas Peyrin

2 accepted papers

2026

TT-Sparse: Learning Sparse Rule Models with Differentiable Truth Tables

ICML 2026poster

Interpretable machine learning is essential in high-stakes domains where decision-making requires accountability, transparency, and trust. While rule-based models offer global and exact interpretability, learning rule sets that achieve high performance while maintaining low complexity to be human un…

Cited by 0SourceScholar
2024

Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form

IJCAI 2024poster

We introduce "Truth Table net"' (TTnet), a novel Deep Neural Network (DNN) architecture designed to provide excellent scalability/compactness trade-offs among DNNs, allowing in turn to tackle the DNN challenge of fast formal verification. TTnet is constructed using Learning Truth Table (LTT) filters…

Cited by 0SourcePDFScholar