David Steinmann

15 papers A* 2Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings.
CoRR
Berkant Turan, Suhrab Asadulla, David Steinmann, Wolfgang Stammer, Sebastian Pokutta
2025 J jnl
Object Centric Concept Bottlenecks.
CoRR
David Steinmann, Wolfgang Stammer, Antonia Wüst, Kristian Kersting
2025 — conf
Right on Time: Revising Time Series Models by Constraining Their Explanations.
ECML/PKDD (7)
Maurice Kraus, David Steinmann, Antonia Wüst, Andre Kokozinski, Kristian Kersting
2024 J jnl
Learning by Self-Explaining.
Trans. Mach. Learn. Res.
Wolfgang Stammer, Felix Friedrich, David Steinmann, Manuel Brack, Hikaru Shindo, Kristian Kersting
2024 A* conf
Learning to Intervene on Concept Bottlenecks.
ICML
David Steinmann, Wolfgang Stammer, Felix Friedrich, Kristian Kersting
2024 J jnl
Navigating Shortcuts, Spurious Correlations, and Confounders: From Origins via Detection to Mitigation.
CoRR
David Steinmann, Felix Divo, Maurice Kraus, Antonia Wüst, Lukas Struppek, Felix Friedrich, Kristian Kersting
2024 A* conf
Neural Concept Binder.
NeurIPS
Wolfgang Stammer, Antonia Wüst, David Steinmann, Kristian Kersting
2024 J jnl
Neural Concept Binder.
CoRR
Wolfgang Stammer, Antonia Wüst, David Steinmann, Kristian Kersting
2024 J jnl
Right on Time: Revising Time Series Models by Constraining their Explanations.
CoRR
Maurice Kraus, David Steinmann, Antonia Wüst, Andre Kokozinski, Kristian Kersting
2024 J jnl
United We Pretrain, Divided We Fail! Representation Learning for Time Series by Pretraining on 75 Datasets at Once.
CoRR
Maurice Kraus, Felix Divo, David Steinmann, Devendra Singh Dhami, Kristian Kersting
2023 J jnl
Learning by Self-Explaining.
CoRR
Wolfgang Stammer, Felix Friedrich, David Steinmann, Hikaru Shindo, Kristian Kersting
2023 J jnl
Learning to Intervene on Concept Bottlenecks.
CoRR
David Steinmann, Wolfgang Stammer, Felix Friedrich, Kristian Kersting
2023 — conf
One Explanation Does Not Fit XIL.
Tiny Papers @ ICLR
Felix Friedrich, David Steinmann, Kristian Kersting
2023 J jnl
One Explanation Does Not Fit XIL.
CoRR
Felix Friedrich, David Steinmann, Kristian Kersting
2022 J jnl
Machines Explaining Linear Programs.
CoRR
David Steinmann, Matej Zecevic, Devendra Singh Dhami, Kristian Kersting