4 citations · 9 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LG2025★ 1 cited
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings
Berkant Turan, Suhrab Asadulla, David Steinmann +3
While Prover-Verifier Games (PVGs) offer a promising path toward verifiability in nonlinear classification models, they have not yet been applied to complex inputs such as high-dim…
cs.LG2025
Object Centric Concept Bottlenecks
David Steinmann, Wolfgang Stammer, Antonia Wüst +1
Developing high-performing, yet interpretable models remains a critical challenge in modern AI. Concept-based models (CBMs) attempt to address this by extracting human-understandab…