Mateja Jamnik - RankMe

183 papers A* 29A 5B 17C 26Misc 2Journal 78Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Actionable Interpretability Must Be Defined in Terms of Symmetries. CoRR Pietro Barbiero, Mateo Espinosa Zarlenga, Francesco Giannini, Alberto Termine, Filippo Bonchi, Mateja Jamnik, Giuseppe Marra
2026	J	`jnl`	An AI Monkey Gets Grapes for Sure - Sphere Neural Networks for Reliable Decision-Making. CoRR Tiansi Dong, Henry He, Pietro Liò, Mateja Jamnik
2026	A	`conf`	Can Micro-Behaviours be used for Graph Comprehension Assessment? LAK Fiorenzo Colarusso, Peter C.-H. Cheng, Ronald R. Grau, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2026	J	`jnl`	Digging Deeper: Learning Multi-Level Concept Hierarchies. CoRR Oscar Hill, Mateo Espinosa Zarlenga, Mateja Jamnik
2026	J	`jnl`	Hierarchical Concept-based Interpretable Models. CoRR Oscar Hill, Mateo Espinosa Zarlenga, Mateja Jamnik
2026	J	`jnl`	Shaping the Future of Mathematics in the Age of AI. CoRR Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman, Akshay Venkatesh
2026	J	`jnl`	Towards Spatial Transcriptomics-driven Pathology Foundation Models. CoRR Konstantin Hemker, Andrew H. Song, Cristina Almagro-Pérez, Guillaume Jaume, Sophia J. Wagner, Anurag Vaidya, Nikola Simidjievski, Mateja Jamnik, Faisal Mahmood
2025	J	`jnl`	A Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models. CoRR Shubhra Mishra, Yuka Machino, Gabriel Poesia, Albert Q. Jiang, Joy Hsu, Adrian Weller, Challenger Mishra, David Broman, Joshua B. Tenenbaum, Mateja Jamnik, Cedegao E. Zhang, Katherine M. Collins
2025	A*	`conf`	Avoiding Leakage Poisoning: Concept Interventions Under Distribution Shifts. ICML Mateo Espinosa Zarlenga, Gabriele Dominici, Pietro Barbiero, Zohreh Shams, Mateja Jamnik
2025	J	`jnl`	Avoiding Leakage Poisoning: Concept Interventions Under Distribution Shifts. CoRR Mateo Espinosa Zarlenga, Gabriele Dominici, Pietro Barbiero, Zohreh Shams, Mateja Jamnik
2025	J	`jnl`	Do Concept Bottleneck Models Respect Localities? Trans. Mach. Learn. Res. Naveen Janaki Raman, Mateo Espinosa Zarlenga, Juyeon Heo, Mateja Jamnik
2025	J	`jnl`	Foundations of Interpretable Models. CoRR Pietro Barbiero, Mateo Espinosa Zarlenga, Alberto Termine, Mateja Jamnik, Giuseppe Marra
2025	J	`jnl`	Future themes in regulating artificial intelligence in investment management. Comput. Law Secur. Rev. Wojtek Buczynski, Felix Steffek, Mateja Jamnik, Fabio Cuzzolin, Barbara J. Sahakian
2025	J	`jnl`	How Well Does Your Tabular Generator Learn the Structure of Tabular Data? CoRR Xiangjian Jiang, Nikola Simidjievski, Mateja Jamnik
2025	J	`jnl`	LLM Embeddings for Deep Learning on Tabular Data. CoRR Boshko Koloski, Andrei Margeloiu, Xiangjian Jiang, Blaz Skrlj, Nikola Simidjievski, Mateja Jamnik
2025	A*	`conf`	Measuring Cross-Modal Interactions in Multimodal Models. AAAI Laura Wenderoth, Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik
2025	A*	`conf`	Multimodal Lego: Model Merging and Fine-Tuning Across Topologies and Modalities in Biomedicine. ICLR Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik
2025	A*	`conf`	NMA-tune: Generating Highly Designable and Dynamics Aware Protein Backbones. ICML Urszula Julia Komorowska, Francisco Vargas, Alessandro Rondina, Pietro Lio, Mateja Jamnik
2025	A*	`conf`	Neural Reasoning for Sure Through Constructing Explainable Models. AAAI Tiansi Dong, Mateja Jamnik, Pietro Liò
2025	J	`jnl`	Oruga: An Avatar of Representational Systems Theory. CoRR Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2025	J	`jnl`	RO-FIGS: Efficient and Expressive Tree-Based Ensembles for Tabular Data. CoRR Urska Matjasec, Nikola Simidjievski, Mateja Jamnik
2025	J	`jnl`	Structure Transfer: an Inference-Based Calculus for the Transformation of Representations. CoRR Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2025	J	`jnl`	TabStruct: Measuring Structural Fidelity of Tabular Data. CoRR Xiangjian Jiang, Nikola Simidjievski, Mateja Jamnik
2024	A*	`conf`	A Human Information Processing Theory of the Interpretation of Visualizations: Demonstrating Its Utility. CHI Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2024	B	`conf`	Decoding Expertise: Exploring Cognitive Micro-Behavioural Measurements for Graph Comprehension. CogSci Fiorenzo Colarusso, Peter C.-H. Cheng, Ronald R. Grau, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2024	J	`jnl`	Do Concept Bottleneck Models Obey Locality? CoRR Naveen Raman, Mateo Espinosa Zarlenga, Juyeon Heo, Mateja Jamnik
2024	A*	`conf`	Dynamics-Informed Protein Design with Structure Conditioning. ICLR Urszula Julia Komorowska, Simon V. Mathis, Kieran Didi, Francisco Vargas, Pietro Lio, Mateja Jamnik
2024	—	`conf`	Efficient Bias Mitigation Without Privileged Information. ECCV (72) Mateo Espinosa Zarlenga, Swami Sankaranarayanan, Jerone T. A. Andrews, Zohreh Shams, Mateja Jamnik, Alice Xiang
2024	J	`jnl`	Efficient Bias Mitigation Without Privileged Information. CoRR Mateo Espinosa Zarlenga, Swami Sankaranarayanan, Jerone T. A. Andrews, Zohreh Shams, Mateja Jamnik, Alice Xiang
2024	A*	`conf`	End-to-End Ontology Learning with Large Language Models. NeurIPS Andy Lo, Albert Q. Jiang, Wenda Li, Mateja Jamnik
2024	J	`jnl`	End-to-End Ontology Learning with Large Language Models. CoRR Andy Lo, Albert Q. Jiang, Wenda Li, Mateja Jamnik
2024	—	`conf`	From Must to May: Enabling Test-Time Feature Imputation and Interventions. HI-AI@KDD Evan Rex, Mateo Espinosa Zarlenga, Andrei Margeloiu, Mateja Jamnik
2024	J	`jnl`	GCondNet: A Novel Method for Improving Neural Networks on Small High-Dimensional Tabular Data. Trans. Mach. Learn. Res. Andrei Margeloiu, Nikola Simidjievski, Pietro Lio, Mateja Jamnik
2024	A*	`conf`	Generation of Visual Representations for Multi-Modal Mathematical Knowledge. AAAI Lianlong Wu, Seewon Choi, Daniel Raggi, Aaron Stockdill, Grecia Garcia Garcia, Fiorenzo Colarusso, Peter C.-H. Cheng, Mateja Jamnik
2024	A*	`conf`	HEALNet: Multimodal Fusion for Heterogeneous Biomedical Data. NeurIPS Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik
2024	B	`conf`	Index Systems: Enumerating Their Forms and Explaining Their Diversity With Representational Interpretive Structure Theory. CogSci Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2024	J	`jnl`	MM-Lego: Modular Biomedical Multimodal Models with Minimal Fine-Tuning. CoRR Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik
2024	J	`jnl`	Measuring Cross-Modal Interactions in Multimodal Models. CoRR Laura Wenderoth, Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik
2024	A*	`conf`	Multi-language Diversity Benefits Autoformalization. NeurIPS Albert Q. Jiang, Wenda Li, Mateja Jamnik
2024	C	`conf`	Oruga: Implementation and Use of Representational Systems Theory. CICM Daniel Raggi, Gem Stapleton, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng, Mateja Jamnik
2024	J	`jnl`	PATHS: A Hierarchical Transformer for Efficient Whole Slide Image Analysis. CoRR Zak Buzzard, Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik
2024	—	`ed.`	Proceedings of the KDD Workshop on Human-Interpretable AI 2024 co-located with 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2024), Centre de Convencions Internacional de Barcelona, Spain, August 26, 2024. HI-AI@KDD Gabriele Ciravegna, Mateo Espinosa Zarlenga, Pietro Barbiero, Zohreh Shams, Francesco Giannini, Damien Garreau, Mateja Jamnik, Tania Cerquitelli
2024	A*	`conf`	ProtoGate: Prototype-based Neural Networks with Global-to-local Feature Selection for Tabular Biomedical Data. ICML Xiangjian Jiang, Andrei Margeloiu, Nikola Simidjievski, Mateja Jamnik
2024	A*	`conf`	Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe. NeurIPS Albert Q. Jiang, Alicja Ziarko, Bartosz Piotrowski, Wenda Li, Mateja Jamnik, Piotr Milos
2024	J	`jnl`	Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe. CoRR Alicja Ziarko, Albert Q. Jiang, Bartosz Piotrowski, Wenda Li, Mateja Jamnik, Piotr Milos
2024	J	`jnl`	Sphere Neural-Networks for Rational Reasoning. CoRR Tiansi Dong, Mateja Jamnik, Pietro Liò
2024	A*	`conf`	TabEBM: A Tabular Data Augmentation Method with Distinct Class-Specific Energy-Based Models. NeurIPS Andrei Margeloiu, Xiangjian Jiang, Nikola Simidjievski, Mateja Jamnik
2024	J	`jnl`	TabEBM: A Tabular Data Augmentation Method with Distinct Class-Specific Energy-Based Models. CoRR Andrei Margeloiu, Xiangjian Jiang, Nikola Simidjievski, Mateja Jamnik
2024	J	`jnl`	TabMDA: Tabular Manifold Data Augmentation for Any Classifier using Transformers with In-context Subsetting. CoRR Andrei Margeloiu, Adrián Bazaga, Nikola Simidjievski, Pietro Liò, Mateja Jamnik
2024	A*	`conf`	Understanding Inter-Concept Relationships in Concept-Based Models. ICML Naveen Raman, Mateo Espinosa Zarlenga, Mateja Jamnik
2024	J	`jnl`	Understanding Inter-Concept Relationships in Concept-Based Models. CoRR Naveen Raman, Mateo Espinosa Zarlenga, Mateja Jamnik
2024	A*	`conf`	Workshop on Human-Interpretable AI. KDD Gabriele Ciravegna, Mateo Espinosa Zarlenga, Pietro Barbiero, Francesco Giannini, Zohreh Shams, Damien Garreau, Mateja Jamnik, Tania Cerquitelli
2023	A*	`conf`	A novel interaction for competence assessment using micro-behaviors: : Extending CACHET to graphs and charts. CHI Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Aaron Stockdill, Daniel Raggi, Mateja Jamnik
2023	—	`conf`	CGXplain: Rule-Based Deep Neural Network Explanations Using Dual Linear Programs. TML4H Konstantin Hemker, Zohreh Shams, Mateja Jamnik
2023	J	`jnl`	CGXplain: Rule-Based Deep Neural Network Explanations Using Dual Linear Programs. CoRR Konstantin Hemker, Zohreh Shams, Mateja Jamnik
2023	—	`conf`	Concept Distillation in Graph Neural Networks. xAI (3) Lucie Charlotte Magister, Pietro Barbiero, Dmitry Kazhdan, Federico Siciliano, Gabriele Ciravegna, Fabrizio Silvestri, Mateja Jamnik, Pietro Liò
2023	A*	`conf`	Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. ICLR Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu
2023	J	`jnl`	Enhancing Representation Learning on High-Dimensional, Small-Size Tabular Data: A Divide and Conquer Method with Ensembled VAEs. CoRR Navindu Leelarathna, Andrei Margeloiu, Mateja Jamnik, Nikola Simidjievski
2023	J	`jnl`	Evaluating Language Models for Mathematics through Interactions. CoRR Katherine M. Collins, Albert Q. Jiang, Simon Frieder, Lionel Wong, Miri Zilka, Umang Bhatt, Thomas Lukasiewicz, Yuhuai Wu, Joshua B. Tenenbaum, William Hart, Timothy Gowers, Wenda Li, Adrian Weller, Mateja Jamnik
2023	J	`jnl`	GCI: A (G)raph (C)oncept (I)nterpretation Framework. CoRR Dmitry Kazhdan, Botty Dimanov, Lucie Charlotte Magister, Pietro Barbiero, Mateja Jamnik, Pietro Liò
2023	J	`jnl`	HEALNet - Hybrid Multi-Modal Fusion for Heterogeneous Biomedical Data. CoRR Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik
2023	B	`conf`	How Can We Make Trustworthy AI? (Invited Talk). FSCD Mateja Jamnik
2023	C	`conf`	Human Uncertainty in Concept-Based AI Systems. AIES Katherine Maeve Collins, Matthew Barker, Mateo Espinosa Zarlenga, Naveen Raman, Umang Bhatt, Mateja Jamnik, Ilia Sucholutsky, Adrian Weller, Krishnamurthy Dvijotham
2023	J	`jnl`	Human Uncertainty in Concept-Based AI Systems. CoRR Katherine M. Collins, Matthew Barker, Mateo Espinosa Zarlenga, Naveen Raman, Umang Bhatt, Mateja Jamnik, Ilia Sucholutsky, Adrian Weller, Krishnamurthy Dvijotham
2023	B	`conf`	Human Visual Consistency-Checking in the Real World Ontologies. VL/HCC Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake
2023	A*	`conf`	Interpretable Neural-Symbolic Concept Reasoning. ICML Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Lio, Frédéric Precioso, Mateja Jamnik, Giuseppe Marra
2023	C	`conf`	Interpretable Neural-Symbolic Concept Reasoning. NeSy Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Liò, Frédéric Precioso, Mateja Jamnik, Giuseppe Marra
2023	J	`jnl`	Interpretable Neural-Symbolic Concept Reasoning. CoRR Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Lio', Frédéric Precioso, Mateja Jamnik, Giuseppe Marra
2023	A*	`conf`	Learning to Receive Help: Intervention-Aware Concept Embedding Models. NeurIPS Mateo Espinosa Zarlenga, Katie Collins, Krishnamurthy Dvijotham, Adrian Weller, Zohreh Shams, Mateja Jamnik
2023	J	`jnl`	Learning to Receive Help: Intervention-Aware Concept Embedding Models. CoRR Mateo Espinosa Zarlenga, Katherine M. Collins, Krishnamurthy Dvijotham, Adrian Weller, Zohreh Shams, Mateja Jamnik
2023	J	`jnl`	Multilingual Mathematical Autoformalization. CoRR Albert Q. Jiang, Wenda Li, Mateja Jamnik
2023	J	`jnl`	ProtoGate: Prototype-based Neural Networks with Local Feature Selection for Tabular Biomedical Data. CoRR Xiangjian Jiang, Andrei Margeloiu, Nikola Simidjievski, Mateja Jamnik
2023	J	`jnl`	TabCBM: Concept-based Interpretable Neural Networks for Tabular Data. Trans. Mach. Learn. Res. Mateo Espinosa Zarlenga, Zohreh Shams, Michael E. Nelson, Been Kim, Mateja Jamnik
2023	A*	`conf`	Towards Robust Metrics for Concept Representation Evaluation. AAAI Mateo Espinosa Zarlenga, Pietro Barbiero, Zohreh Shams, Dmitry Kazhdan, Umang Bhatt, Adrian Weller, Mateja Jamnik
2023	J	`jnl`	Towards Robust Metrics for Concept Representation Evaluation. CoRR Mateo Espinosa Zarlenga, Pietro Barbiero, Zohreh Shams, Dmitry Kazhdan, Umang Bhatt, Adrian Weller, Mateja Jamnik
2023	A*	`conf`	Weight Predictor Network with Feature Selection for Small Sample Tabular Biomedical Data. AAAI Andrei Margeloiu, Nikola Simidjievski, Pietro Liò, Mateja Jamnik
2022	A*	`conf`	Autoformalization with Large Language Models. NeurIPS Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
2022	J	`jnl`	Autoformalization with Large Language Models. CoRR Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
2022	—	`conf`	Cognitive Analysis for Representation Change. HLC Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng, Daniel Raggi, Mateja Jamnik
2022	J	`jnl`	Concept Embedding Models. CoRR Mateo Espinosa Zarlenga, Pietro Barbiero, Gabriele Ciravegna, Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Zohreh Shams, Frédéric Precioso, Stefano Melacci, Adrian Weller, Pietro Liò, Mateja Jamnik
2022	A*	`conf`	Concept Embedding Models: Beyond the Accuracy-Explainability Trade-Off. NeurIPS Mateo Espinosa Zarlenga, Pietro Barbiero, Gabriele Ciravegna, Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Zohreh Shams, Frédéric Precioso, Stefano Melacci, Adrian Weller, Pietro Lió, Mateja Jamnik
2022	J	`jnl`	Discrete Lagrangian Neural Networks with Automatic Symmetry Discovery. CoRR Yana Lishkova, Paul Scherer, Steffen Ridderbusch, Mateja Jamnik, Pietro Liò, Sina Ober-Blöbaum, Christian Offen
2022	—	`conf`	Distributed Representations of Graphs for Drug Pair Scoring. LoG Paul Scherer, Pietro Liò, Mateja Jamnik
2022	J	`jnl`	Distributed representations of graphs for drug pair scoring. CoRR Paul Scherer, Pietro Liò, Mateja Jamnik
2022	J	`jnl`	Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. CoRR Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample
2022	J	`jnl`	Encoding Concepts in Graph Neural Networks. CoRR Lucie Charlotte Magister, Pietro Barbiero, Dmitry Kazhdan, Federico Siciliano, Gabriele Ciravegna, Fabrizio Silvestri, Pietro Liò, Mateja Jamnik
2022	—	`ch.`	Endowing Machines with the Expert Human Ability to Select Representations: Why and How. Human-Like Machine Intelligence Mateja Jamnik, Peter C.-H. Cheng
2022	C	`conf`	Evaluating Colour in Concept Diagrams. Diagrams Sean McGrath, Andrew Blake, Gem Stapleton, Anestis Touloumis, Peter Chapman, Mateja Jamnik, Zohreh Shams
2022	B	`conf`	Examining Experts' Recommendations of Representational Systems for Problem Solving. VL/HCC Aaron Stockdill, Gem Stapleton, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng
2022	—	`conf`	Explainer Divergence Scores (EDS): Some Post-Hoc Explanations May be Effective for Detecting Unknown Spurious Correlations. CIKM Workshops Shea Cardozo, Gabriel Islas Montero, Dmitry Kazhdan, Botty Dimanov, Maleakhi A. Wijaya, Mateja Jamnik, Pietro Liò
2022	J	`jnl`	Explainer Divergence Scores (EDS): Some Post-Hoc Explanations May be Effective for Detecting Unknown Spurious Correlations. CoRR Shea Cardozo, Gabriel Islas Montero, Dmitry Kazhdan, Botty Dimanov, Maleakhi A. Wijaya, Mateja Jamnik, Pietro Liò
2022	J	`jnl`	Graph-Conditioned MLP for High-Dimensional Tabular Biomedical Data. CoRR Andrei Margeloiu, Nikola Simidjievski, Pietro Lio', Mateja Jamnik
2022	A*	`conf`	On the Relation between Distributionally Robust Optimization and Data Curation (Student Abstract). AAAI Agnieszka Slowik, Léon Bottou, Sean B. Holden, Mateja Jamnik
2022	—	`conf`	Oruga: an avatar of Representational Systems Theory. HLC Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2022	C	`conf`	Representational Interpretive Structure: Theory and Notation. Diagrams Peter C.-H. Cheng, Aaron Stockdill, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2022	J	`jnl`	Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations. CoRR Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2022	A*	`conf`	Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers. NeurIPS Albert Qiaochu Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygózdz, Piotr Milos, Yuhuai Wu, Mateja Jamnik
2022	J	`jnl`	Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers. CoRR Albert Q. Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygózdz, Piotr Milos, Yuhuai Wu, Mateja Jamnik
2022	J	`jnl`	Unsupervised construction of computational graphs for gene expression data with explicit structural inductive biases. Bioinform. Paul Scherer, Maja Trebacz, Nikola Simidjievski, Ramón Viñas, Zohreh Shams, Helena Andrés-Terré, Mateja Jamnik, Pietro Liò
2022	J	`jnl`	Weight Predictor Network with Feature Selection for Small Sample Tabular Biomedical Data. CoRR Andrei Margeloiu, Nikola Simidjievski, Pietro Liò, Mateja Jamnik
2021	B	`conf`	A Graphical User Interface Framework for Formal Verification. ITP Edward W. Ayers, Mateja Jamnik, William T. Gowers
2021	C	`conf`	Cognitive Properties of Representations: A Framework. Diagrams Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Aaron Stockdill, Mateja Jamnik
2021	C	`conf`	Considerations in Representation Selection for Problem Solving: A Review. Diagrams Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng
2021	J	`jnl`	Do Concept Bottleneck Models Learn as Intended? CoRR Andrei Margeloiu, Matthew Ashman, Umang Bhatt, Yanzhi Chen, Mateja Jamnik, Adrian Weller
2021	J	`jnl`	Efficient Decompositional Rule Extraction for Deep Neural Networks. CoRR Mateo Espinosa Zarlenga, Zohreh Shams, Mateja Jamnik
2021	J	`jnl`	Failing Conceptually: Concept-Based Explanations of Dataset Shift. CoRR Maleakhi A. Wijaya, Dmitry Kazhdan, Botty Dimanov, Mateja Jamnik
2021	J	`jnl`	Is Disentanglement all you need? Comparing Concept-based & Disentanglement Approaches. CoRR Dmitry Kazhdan, Botty Dimanov, Helena Andrés-Terré, Mateja Jamnik, Pietro Liò, Adrian Weller
2021	C	`conf`	Observing Strategies of Drawing Data Representations. Diagrams Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2021	B	`conf`	Structural Inductive Biases in Emergent Communication. CogSci Agnieszka Slowik, Abhinav Gupta, William L. Hamilton, Mateja Jamnik, Sean B. Holden, Chris Pal
2020	A*	`conf`	Abstract Diagrammatic Reasoning with Multiplex Graph Networks. ICLR Duo Wang, Mateja Jamnik, Pietro Liò
2020	J	`jnl`	Abstract Diagrammatic Reasoning with Multiplex Graph Networks. CoRR Duo Wang, Mateja Jamnik, Pietro Liò
2020	A*	`conf`	Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract). AAAI Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
2020	B	`conf`	Correspondence-based analogies for choosing problem representations. VL/HCC Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng, Advait Sarkar
2020	—	`conf`	Cross-domain Correspondences for Explainable Recommendations. ExSS-ATEC@IUI Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng, Advait Sarkar
2020	C	`conf`	Dissecting Representations. Diagrams Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng
2020	J	`jnl`	Exploring Structural Inductive Biases in Emergent Communication. CoRR Agnieszka Slowik, Abhinav Gupta, William L. Hamilton, Mateja Jamnik, Sean B. Holden, Christopher J. Pal
2020	J	`jnl`	Generalisable Relational Reasoning With Comparators in Low-Dimensional Manifolds. CoRR Duo Wang, Mateja Jamnik, Pietro Liò
2020	B	`conf`	How to (Re)represent it? ICTAI Daniel Raggi, Gem Stapleton, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng
2020	J	`jnl`	Improving Interpretability in Medical Imaging Diagnosis using Adversarial Training. CoRR Andrei Margeloiu, Nikola Simidjievski, Mateja Jamnik, Adrian Weller
2020	J	`jnl`	Incorporating network based protein complex discovery into automated model construction. CoRR Paul Scherer, Maja Trebacz, Nikola Simidjievski, Zohreh Shams, Helena Andrés-Terré, Pietro Liò, Mateja Jamnik
2020	J	`jnl`	Learned Low Precision Graph Neural Networks. CoRR Yiren Zhao, Duo Wang, Daniel Bates, Robert Mullins, Mateja Jamnik, Pietro Liò
2020	J	`jnl`	MEME: Generating RNN Model Explanations via Model Extraction. CoRR Dmitry Kazhdan, Botty Dimanov, Mateja Jamnik, Pietro Liò
2020	—	`conf`	Now You See Me (CME): Concept-based Model Extraction. CIKM (Workshops) Dmitry Kazhdan, Botty Dimanov, Mateja Jamnik, Pietro Liò, Adrian Weller
2020	J	`jnl`	Now You See Me (CME): Concept-based Model Extraction. CoRR Dmitry Kazhdan, Botty Dimanov, Mateja Jamnik, Pietro Liò, Adrian Weller
2020	J	`jnl`	Pairwise Relations Discriminator for Unsupervised Raven's Progressive Matrices. CoRR Nicholas Quek Wei Kiat, Duo Wang, Mateja Jamnik
2020	J	`jnl`	Probabilistic Dual Network Architecture Search on Graphs. CoRR Yiren Zhao, Duo Wang, Xitong Gao, Robert Mullins, Pietro Liò, Mateja Jamnik
2020	J	`jnl`	Towards Graph Representation Learning in Emergent Communication. CoRR Agnieszka Slowik, Abhinav Gupta, William L. Hamilton, Mateja Jamnik, Sean B. Holden
2020	J	`jnl`	Using ontology embeddings for structural inductive bias in gene expression data analysis. CoRR Maja Trebacz, Zohreh Shams, Mateja Jamnik, Paul Scherer, Nikola Simidjievski, Helena Andrés-Terré, Pietro Liò
2020	—	`conf`	You Shouldn't Trust Me: Learning Models Which Conceal Unfairness From Multiple Explanation Methods. SafeAI@AAAI Botty Dimanov, Umang Bhatt, Mateja Jamnik, Adrian Weller
2020	A	`conf`	You Shouldn't Trust Me: Learning Models Which Conceal Unfairness from Multiple Explanation Methods. ECAI Botty Dimanov, Umang Bhatt, Mateja Jamnik, Adrian Weller
2019	Misc	`conf`	A Human-Oriented Term Rewriting System. KI Edward William Ayers, William T. Gowers, Mateja Jamnik
2019	—	`conf`	Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving. Vampire Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
2019	J	`jnl`	Bayesian Optimisation with Gaussian Processes for Premise Selection. CoRR Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
2019	J	`jnl`	Decoupling feature propagation from the design of graph auto-encoders. CoRR Paul Scherer, Helena Andrés-Terré, Pietro Liò, Mateja Jamnik
2019	B	`conf`	Elucidating the Cognitive Anatomy of Representation Systems. CogSci Peter C.-H. Cheng, Grecia Garcia Garcia, Holly E. A. Sutherland, Daniel Raggi, Aaron Stockdill, Mateja Jamnik
2019	Misc	`conf`	Exploring and Conceptualising Attestation. ICCS Ian Oliver, John Howse, Gem Stapleton, Zohreh Shams, Mateja Jamnik
2019	J	`jnl`	Human inference beyond syllogisms: an approach using external graphical representations. Cogn. Process. Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams
2019	C	`conf`	Inspection and Selection of Representations. CICM Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng
2019	J	`jnl`	Unsupervised and interpretable scene discovery with Discrete-Attend-Infer-Repeat. CoRR Duo Wang, Mateja Jamnik, Pietro Liò
2018	C	`conf`	Accessible Reasoning with Diagrams: From Cognition to Automation. Diagrams Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton
2018	B	`conf`	Deductive reasoning about expressive statements using external graphical representations. CogSci Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams
2018	C	`conf`	Investigating Diagrammatic Reasoning with Deep Neural Networks. Diagrams Duo Wang, Mateja Jamnik, Pietro Liò
2018	C	`conf`	The Observational Advantages of Euler Diagrams with Existential Import. Diagrams Gem Stapleton, Atsushi Shimojima, Mateja Jamnik
2018	A*	`conf`	iCon: A Diagrammatic Theorem Prover for Ontologies. KR Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato
2017	C	`conf`	How Network-based and set-based visualizations aid consistency checking in ontologies. VINCI Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake
2017	C	`conf`	Reasoning with Concept Diagrams About Antipatterns in Ontologies. CICM Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato
2017	—	`conf`	Reasoning with Concept Diagrams about Antipatterns. LPAR (Short Presentations) Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato
2017	J	`jnl`	What Makes an Effective Representation of Information: A Formal Account of Observational Advantages. J. Log. Lang. Inf. Gem Stapleton, Mateja Jamnik, Atsushi Shimojima
2016	C	`ed.`	Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings Diagrams Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz
2016	C	`conf`	Effective Representation of Information: Generalizing Free Rides. Diagrams Gem Stapleton, Mateja Jamnik, Atsushi Shimojima
2016	—	`conf`	Tactical Diagrammatic Reasoning. UITP Sven Linker, Jim Burton, Mateja Jamnik
2016	B	`conf`	Visual discovery and model-driven explanation of time series patterns. VL/HCC Advait Sarkar, Martin Spott, Alan F. Blackwell, Mateja Jamnik
2015	—	`conf`	Interaction with Uncertainty in Visualisations. EuroVis (Short Papers) Advait Sarkar, Alan F. Blackwell, Mateja Jamnik, Martin Spott
2015	B	`conf`	Interactive visual machine learning in spreadsheets. VL/HCC Advait Sarkar, Mateja Jamnik, Alan F. Blackwell, Martin Spott
2015	J	`jnl`	Speedith: A Reasoner for Spider Diagrams. J. Log. Lang. Inf. Matej Urbas, Mateja Jamnik, Gem Stapleton
2014	C	`conf`	A Framework for Heterogeneous Reasoning in Formal and Informal Domains. Diagrams Matej Urbas, Mateja Jamnik
2014	B	`conf`	Teach and try: A simple interaction technique for exploratory data modelling by end users. VL/HCC Advait Sarkar, Alan F. Blackwell, Mateja Jamnik, Martin Spott
2013	B	`conf`	Designing inference rules for spider diagrams. VL/HCC Gem Stapleton, Mateja Jamnik, Matej Urbas
2012	A	`conf`	Diabelli: A Heterogeneous Proof System. IJCAR Matej Urbas, Mateja Jamnik
2012	C	`conf`	Speedith: A Diagrammatic Reasoner for Spider Diagrams. Diagrams Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower
2011	B	`conf`	Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers. ITP Matej Urbas, Mateja Jamnik
2010	C	`ed.`	Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings Diagrams Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan
2010	C	`conf`	Heterogeneous Reasoning in Real Arithmetic. Diagrams Matej Urbas, Mateja Jamnik
2008	J	`jnl`	Combined reasoning by automated cooperation. J. Appl. Log. Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
2008	C	`conf`	Diagrammatic Reasoning in Separation Logic. Diagrams M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine
2005	—	`conf`	On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Calculemus Louise A. Dennis, Mateja Jamnik, Martin Pollet
2005	—	`conf`	Psychological Validity of Schematic Proofs. Mechanizing Mathematical Reasoning Mateja Jamnik, Alan Bundy
2004	C	`conf`	An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
2004	B	`conf`	Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
2004	C	`conf`	On Differences between the Real and Physical Plane. Diagrams Daniel Winterstein, Alan Bundy, Mateja Jamnik
2003	J	`jnl`	Automatic Learning of Proof Methods in Proof Planning. Log. J. IGPL Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
2003	—	`conf`	Learning Strategies for Mechanised Building of Decision Procedures. FTP Mateja Jamnik, Predrag Janicic
2002	A	`conf`	Automatic Learning in Proof Planning. ECAI Mateja Jamnik, Manfred Kerber, Martin Pollet
2002	A	`conf`	Learn Omega-matic: System Description. CADE Mateja Jamnik, Manfred Kerber, Martin Pollet
2002	—	`ch.`	On Automating Diagrammatic Proofs of Arithmetic Arguments. Diagrammatic Representation and Reasoning Mateja Jamnik, Alan Bundy, Ian Green
2002	C	`conf`	Using Animation in Diagrammatic Theorem Proving. Diagrams Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
2001	—	`conf`	Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
2000	C	`conf`	A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. Diagrams Daniel Winterstein, Alan Bundy, Mateja Jamnik
2000	—	`conf`	Resource Guided Concurrent Deduction. ARW Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
1999	—	`conf`	Agent based mathematical reasoning. Calculemus Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
1999	J	`jnl`	On Automating Diagrammatic Proofs of Arithmetic Arguments. J. Log. Lang. Inf. Mateja Jamnik, Alan Bundy, Ian Green
1997	—	`conf`	Automation of Diagrammatic Proofs in Mathematics. IJCAI Mateja Jamnik
1997	—	`conf`	Automation of Diagrammatic Reasoning. IJCAI (1) Mateja Jamnik, Alan Bundy, Ian Green