David Steinmann
Scholar

David Steinmann

Google Scholar ID: cM7mz9kAAAAJ
PhD Candidate TU Darmstadt
Machine LearningExplainable AIInteractive MLConcept Learning
Google Scholar↗
Citations & Impact
All-time
Citations
74
 
H-index
4
 
i10-index
4
 
Publications
10
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
3 items
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings
2025
Cited
0
Object Centric Concept Bottlenecks
2025
Cited
0
Right on Time: Revising Time Series Models by Constraining their Explanations
arXiv.org · 2024
Cited
4
Resume (English only)
Co-authors
9 total
Kristian Kersting
Kristian Kersting
Professor of AI & ML, Technical University of Darmstadt, Hessian.ai, DFKI, CAIRNE/ELLIS, AAAI Fellow
Wolfgang Stammer
Wolfgang Stammer
Technical University Darmstadt
Felix Friedrich
Felix Friedrich
postdoc @ Meta FAIR, Montreal
Antonia Wüst
Antonia Wüst
PhD Candidate at AIML Lab, TU Darmstadt
Maurice Kraus
Maurice Kraus
TU Darmstadt
Felix Divo
Felix Divo
TU Darmstadt, Germany
Hikaru Shindo
Hikaru Shindo
TU Darmstadt
Devendra Singh Dhami
Devendra Singh Dhami
Assistant Professor at TU Eindhoven