Mateja Jamnik
Publications by Year
Research Areas
Explainable Artificial Intelligence (XAI), Semantic Web and Ontologies, Logic, programming, and type systems, Data Visualization and Analytics, Topic Modeling
Most-Cited Works
- → Logical Reasoning with Diagrams(2021)256 cited
- → Variational Autoencoders for Cancer Data Integration: Design Principles and Computational Practice(2019)134 cited
- → You shouldn’t trust me: Learning models which conceal unfairness from multiple explanation methods.(2020)54 cited
- → On Automating Diagrammatic Proofs of Arithmetic Arguments(1999)47 cited
- → What Makes an Effective Representation of Information: A Formal Account of Observational Advantages(2017)45 cited
- → Mathematical Reasoning with Diagrams(2001)42 cited
- → Autoformalization with Large Language Models(2022)41 cited
- → Evaluating language models for mathematics through interactions(2024)40 cited
- → What is a proof?(2005)39 cited
- → Concept Embedding Models: Beyond the Accuracy-Explainability Trade-Off(2022)35 cited