Mateja Jamnik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
67
Venues
24
Active years
1997–2026
Best venue rank
A*
Where they publish
- CDIAGRAMS18 papers
- A*AAAI8 papers
- A*ICML5 papers
- BCogSci5 papers
- A*ICLR4 papers
- A*CHI2 papers
- ACIKM2 papers
- BITP2 papers
- AECAI2 papers
- NationalKI2 papers
- BLPAR2 papers
- ACADE2 papers
- A*IJCAI2 papers
- ALAK1 paper
- A*ECCV1 paper
- A*KDD1 paper
- CAIES1 paper
- BFSCD1 paper
- CNeSy1 paper
- BICTAI1 paper
- AIUI1 paper
- MulticonferenceICCS1 paper
- A*KR1 paper
- CVINCI1 paper
Papers
67 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LAK | Can Micro-Behaviours be used for Graph Comprehension Assessment? | Fiorenzo Colarusso, Peter C.-H. Cheng, Ronald R. Grau, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik |
| 2025 | AAAI | Neural Reasoning for Sure Through Constructing Explainable Models. | Tiansi Dong, Mateja Jamnik, Pietro Li |
| 2025 | AAAI | Measuring Cross-Modal Interactions in Multimodal Models. | Laura Wenderoth, Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik |
| 2025 | ICLR | Multimodal Lego: Model Merging and Fine-Tuning Across Topologies and Modalities in Biomedicine. | Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik |
| 2025 | ICML | NMA-tune: Generating Highly Designable and Dynamics Aware Protein Backbones. | Urszula Julia Komorowska, Francisco Vargas, Alessandro Rondina, Pietro Lio, Mateja Jamnik |
| 2025 | ICML | Avoiding Leakage Poisoning: Concept Interventions Under Distribution Shifts. | Mateo Espinosa Zarlenga, Gabriele Dominici, Pietro Barbiero, Zohreh Shams, Mateja Jamnik |
| 2024 | AAAI | Generation of Visual Representations for Multi-Modal Mathematical Knowledge. | Lianlong Wu, Seewon Choi, Daniel Raggi, Aaron Stockdill, Grecia Garcia Garcia, Fiorenzo Colarusso, Peter C.-H. Cheng, Mateja Jamnik |
| 2024 | CHI | A Human Information Processing Theory of the Interpretation of Visualizations: Demonstrating Its Utility. | Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik |
| 2024 | CogSci | Index Systems: Enumerating Their Forms and Explaining Their Diversity With Representational Interpretive Structure Theory. | Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik |
| 2024 | CogSci | Decoding Expertise: Exploring Cognitive Micro-Behavioural Measurements for Graph Comprehension. | Fiorenzo Colarusso, Peter C.-H. Cheng, Ronald R. Grau, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik |
| 2024 | ECCV | Efficient Bias Mitigation Without Privileged Information. | Mateo Espinosa Zarlenga, Swami Sankaranarayanan, Jerone T. A. Andrews, Zohreh Shams, Mateja Jamnik, Alice Xiang |
| 2024 | ICLR | Dynamics-Informed Protein Design with Structure Conditioning. | Urszula Julia Komorowska, Simon V. Mathis, Kieran Didi, Francisco Vargas, Pietro Lio, Mateja Jamnik |
| 2024 | ICML | ProtoGate: Prototype-based Neural Networks with Global-to-local Feature Selection for Tabular Biomedical Data. | Xiangjian Jiang, Andrei Margeloiu, Nikola Simidjievski, Mateja Jamnik |
| 2024 | ICML | Understanding Inter-Concept Relationships in Concept-Based Models. | Naveen Raman, Mateo Espinosa Zarlenga, Mateja Jamnik |
| 2024 | KDD | Workshop on Human-Interpretable AI. | Gabriele Ciravegna, Mateo Espinosa Zarlenga, Pietro Barbiero, Francesco Giannini, Zohreh Shams, Damien Garreau, Mateja Jamnik, Tania Cerquitelli |
| 2023 | AAAI | Weight Predictor Network with Feature Selection for Small Sample Tabular Biomedical Data. | Andrei Margeloiu, Nikola Simidjievski, Pietro Li, Mateja Jamnik |
| 2023 | AAAI | Towards Robust Metrics for Concept Representation Evaluation. | Mateo Espinosa Zarlenga, Pietro Barbiero, Zohreh Shams, Dmitry Kazhdan, Umang Bhatt, Adrian Weller, Mateja Jamnik |
| 2023 | AIES | Human Uncertainty in Concept-Based AI Systems. | Katherine Maeve Collins, Matthew Barker, Mateo Espinosa Zarlenga, Naveen Raman, Umang Bhatt, Mateja Jamnik, Ilia Sucholutsky, Adrian Weller, Krishnamurthy Dvijotham |
| 2023 | CHI | A novel interaction for competence assessment using micro-behaviors: : Extending CACHET to graphs and charts. | Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Aaron Stockdill, Daniel Raggi, Mateja Jamnik |
| 2023 | FSCD | How Can We Make Trustworthy AI? (Invited Talk). | Mateja Jamnik |
| 2023 | ICLR | Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. | Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothe Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu |
| 2023 | ICML | Interpretable Neural-Symbolic Concept Reasoning. | Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Lio, Frdric Precioso, Mateja Jamnik, Giuseppe Marra |
| 2023 | NeSy | Interpretable Neural-Symbolic Concept Reasoning. | Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Li, Frdric Precioso, Mateja Jamnik, Giuseppe Marra |
| 2022 | AAAI | On the Relation between Distributionally Robust Optimization and Data Curation (Student Abstract). | Agnieszka Slowik, Lon Bottou, Sean B. Holden, Mateja Jamnik |
| 2022 | CIKM | Explainer Divergence Scores (EDS): Some Post-Hoc Explanations May be Effective for Detecting Unknown Spurious Correlations. | Shea Cardozo, Gabriel Islas Montero, Dmitry Kazhdan, Botty Dimanov, Maleakhi A. Wijaya, Mateja Jamnik, Pietro Li |
| 2022 | DIAGRAMS | Representational Interpretive Structure: Theory and Notation. | Peter C.-H. Cheng, Aaron Stockdill, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik |
| 2022 | DIAGRAMS | Evaluating Colour in Concept Diagrams. | Sean McGrath, Andrew Blake, Gem Stapleton, Anestis Touloumis, Peter Chapman, Mateja Jamnik, Zohreh Shams |
| 2021 | CogSci | Structural Inductive Biases in Emergent Communication. | Agnieszka Slowik, Abhinav Gupta, William L. Hamilton, Mateja Jamnik, Sean B. Holden, Chris Pal |
| 2021 | DIAGRAMS | Cognitive Properties of Representations: A Framework. | Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Aaron Stockdill, Mateja Jamnik |
| 2021 | DIAGRAMS | Observing Strategies of Drawing Data Representations. | Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik |
| 2021 | DIAGRAMS | Considerations in Representation Selection for Problem Solving: A Review. | Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng |
| 2021 | ITP | A Graphical User Interface Framework for Formal Verification. | Edward W. Ayers, Mateja Jamnik, William T. Gowers |
| 2020 | AAAI | You Shouldn't Trust Me: Learning Models Which Conceal Unfairness From Multiple Explanation Methods. | Botty Dimanov, Umang Bhatt, Mateja Jamnik, Adrian Weller |
| 2020 | AAAI | Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract). | Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson |
| 2020 | CIKM | Now You See Me (CME): Concept-based Model Extraction. | Dmitry Kazhdan, Botty Dimanov, Mateja Jamnik, Pietro Li, Adrian Weller |
| 2020 | DIAGRAMS | Dissecting Representations. | Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng |
| 2020 | ECAI | You Shouldn't Trust Me: Learning Models Which Conceal Unfairness from Multiple Explanation Methods. | Botty Dimanov, Umang Bhatt, Mateja Jamnik, Adrian Weller |
| 2020 | ICLR | Abstract Diagrammatic Reasoning with Multiplex Graph Networks. | Duo Wang, Mateja Jamnik, Pietro Li |
| 2020 | ICTAI | How to (Re)represent it? | Daniel Raggi, Gem Stapleton, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng |
| 2020 | IUI | Cross-domain Correspondences for Explainable Recommendations. | Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng, Advait Sarkar |
| 2019 | CogSci | Elucidating the Cognitive Anatomy of Representation Systems. | Peter C.-H. Cheng, Grecia Garcia Garcia, Holly E. A. Sutherland, Daniel Raggi, Aaron Stockdill, Mateja Jamnik |
| 2019 | ICCS | Exploring and Conceptualising Attestation. | Ian Oliver, John Howse, Gem Stapleton, Zohreh Shams, Mateja Jamnik |
| 2019 | KI | A Human-Oriented Term Rewriting System. | Edward William Ayers, William T. Gowers, Mateja Jamnik |
| 2018 | CogSci | Deductive reasoning about expressive statements using external graphical representations. | Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams |
| 2018 | DIAGRAMS | Accessible Reasoning with Diagrams: From Cognition to Automation. | Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton |
| 2018 | DIAGRAMS | The Observational Advantages of Euler Diagrams with Existential Import. | Gem Stapleton, Atsushi Shimojima, Mateja Jamnik |
| 2018 | DIAGRAMS | Investigating Diagrammatic Reasoning with Deep Neural Networks. | Duo Wang, Mateja Jamnik, Pietro Li |
| 2018 | KR | iCon: A Diagrammatic Theorem Prover for Ontologies. | Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato |
| 2017 | LPAR | Reasoning with Concept Diagrams about Antipatterns. | Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato |
| 2017 | VINCI | How Network-based and set-based visualizations aid consistency checking in ontologies. | Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake |
| 2016 | DIAGRAMS | Effective Representation of Information: Generalizing Free Rides. | Gem Stapleton, Mateja Jamnik, Atsushi Shimojima |
| 2014 | DIAGRAMS | A Framework for Heterogeneous Reasoning in Formal and Informal Domains. | Matej Urbas, Mateja Jamnik |
| 2012 | CADE | Diabelli: A Heterogeneous Proof System. | Matej Urbas, Mateja Jamnik |
| 2012 | DIAGRAMS | Speedith: A Diagrammatic Reasoner for Spider Diagrams. | Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower |
| 2011 | ITP | Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers. | Matej Urbas, Mateja Jamnik |
| 2010 | DIAGRAMS | Heterogeneous Reasoning in Real Arithmetic. | Matej Urbas, Mateja Jamnik |
| 2008 | DIAGRAMS | Diagrammatic Reasoning in Separation Logic. | M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine |
| 2004 | DIAGRAMS | An Experimental Comparison of Diagrammatic and Algebraic Logics. | Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik |
| 2004 | DIAGRAMS | On Differences between the Real and Physical Plane. | Daniel Winterstein, Alan Bundy, Mateja Jamnik |
| 2004 | LPAR | Can a Higher-Order and a First-Order Theorem Prover Cooperate?. | Christoph Benzmller, Volker Sorge, Mateja Jamnik, Manfred Kerber |
| 2002 | CADE | Learn Omega-matic: System Description. | Mateja Jamnik, Manfred Kerber, Martin Pollet |
| 2002 | DIAGRAMS | Using Animation in Diagrammatic Theorem Proving. | Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik |
| 2002 | ECAI | Automatic Learning in Proof Planning. | Mateja Jamnik, Manfred Kerber, Martin Pollet |
| 2001 | KI | Experiments with an Agent-Oriented Reasoning System. | Christoph Benzmller, Mateja Jamnik, Manfred Kerber, Volker Sorge |
| 2000 | DIAGRAMS | A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. | Daniel Winterstein, Alan Bundy, Mateja Jamnik |
| 1997 | IJCAI | Automation of Diagrammatic Proofs in Mathematics. | Mateja Jamnik |
| 1997 | IJCAI | Automation of Diagrammatic Reasoning. | Mateja Jamnik, Alan Bundy, Ian Green |