Jamnik, Mateja

48 publications

ICML 2025 Avoiding Leakage Poisoning: Concept Interventions Under Distribution Shifts Mateo Espinosa Zarlenga, Gabriele Dominici, Pietro Barbiero, Zohreh Shams, Mateja Jamnik

TMLR 2025 Do Concept Bottleneck Models Respect Localities? Naveen Janaki Raman, Mateo Espinosa Zarlenga, Juyeon Heo, Mateja Jamnik

ICLRW 2025 How Well Does Your Tabular Generator Learn the Structure of Tabular Data? Xiangjian Jiang, Nikola Simidjievski, Mateja Jamnik

AAAI 2025 Measuring Cross-Modal Interactions in Multimodal Models Laura Wenderoth, Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik

ICLR 2025 Multimodal Lego: Model Merging and Fine-Tuning Across Topologies and Modalities in Biomedicine Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik

ICML 2025 NMA-Tune: Generating Highly Designable and Dynamics Aware Protein Backbones Urszula Julia Komorowska, Francisco Vargas, Alessandro Rondina, Pietro Lio, Mateja Jamnik

AAAI 2025 Neural Reasoning for Sure Through Constructing Explainable Models Tiansi Dong, Mateja Jamnik, Pietro Liò

NeurIPSW 2024 Augmenting Small-Size Tabular Data with Class-Specific Energy-Based Models Andrei Margeloiu, Xiangjian Jiang, Nikola Simidjievski, Mateja Jamnik

ICLR 2024 Dynamics-Informed Protein Design with Structure Conditioning Urszula Julia Komorowska, Simon V Mathis, Kieran Didi, Francisco Vargas, Pietro Lio, Mateja Jamnik

ECCV 2024 Efficient Bias Mitigation Without Privileged Information Mateo Espinosa Zarlenga, Swami Sankaranarayanan, Jerone T. A. Andrews, Zohreh Shams, Mateja Jamnik, Alice Xiang

NeurIPS 2024 End-to-End Ontology Learning with Large Language Models Andy Lo, Albert Q. Jiang, Wenda Li, Mateja Jamnik

TMLR 2024 GCondNet: A Novel Method for Improving Neural Networks on Small High-Dimensional Tabular Data Andrei Margeloiu, Nikola Simidjievski, Pietro Lio, Mateja Jamnik

AAAI 2024 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

NeurIPS 2024 HEALNet: Multimodal Fusion for Heterogeneous Biomedical Data Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik

ICMLW 2024 More Details, Please: Improving Autoformalization with More Detailed Proofs Guillem Tarrach, Albert Q. Jiang, Daniel Raggi, Wenda Li, Mateja Jamnik

NeurIPS 2024 Multi-Language Diversity Benefits Autoformalization Albert Q. Jiang, Wenda Li, Mateja Jamnik

NeurIPSW 2024 Multimodal Lego: Model Merging and Fine-Tuning Across Topologies and Modalities Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik

NeurIPSW 2024 Multimodal Lego: Model Merging and Fine-Tuning Across Topologies and Modalities Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik

ICML 2024 ProtoGate: Prototype-Based Neural Networks with Global-to-Local Feature Selection for Tabular Biomedical Data Xiangjian Jiang, Andrei Margeloiu, Nikola Simidjievski, Mateja Jamnik

NeurIPS 2024 Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe Albert Q. Jiang, Alicja Ziarko, Bartosz Piotrowski, Wenda Li, Mateja Jamnik, Piotr Miłoś

NeurIPS 2024 TabEBM: A Tabular Data Augmentation Method with Distinct Class-Specific Energy-Based Models Andrei Margeloiu, Xiangjian Jiang, Nikola Simidjievski, Mateja Jamnik

ICMLW 2024 TabMDA: Tabular Manifold Data Augmentation for Any Classifier Using Transformers with In-Context Subsetting Andrei Margeloiu, Adrián Bazaga, Nikola Simidjievski, Pietro Lio, Mateja Jamnik

ICML 2024 Understanding Inter-Concept Relationships in Concept-Based Models Naveen Janaki Raman, Mateo Espinosa Zarlenga, Mateja Jamnik

ICLRW 2023 CGXplain: Rule-Based Deep Neural Network Explanations Using Dual Linear Programs Konstantin Hemker, Zohreh Shams, Mateja Jamnik

NeurIPSW 2023 Do Concept Bottleneck Models Obey Locality? Naveen Raman, Mateo Espinosa Zarlenga, Juyeon Heo, Mateja Jamnik

ICLR 2023 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothee Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu

ICLRW 2023 GCI: A (G)raph (C)oncept (I)nterpretation Framework Dmitry Kazhdan, Botty Dimanov, Lucie Charlotte Magister, Pietro Barbiero, Mateja Jamnik, Pietro Lio

NeurIPSW 2023 GCondNet: A Novel Method for Improving Neural Networks on Small High-Dimensional Tabular Data Andrei Margeloiu, Nikola Simidjievski, Pietro Lio, Mateja Jamnik

NeurIPSW 2023 Hybrid Early Fusion for Multi-Modal Biomedical Representations Konstantin Hemker, Nikola Simidjievski, Mateja Jamnik

ICML 2023 Interpretable Neural-Symbolic Concept Reasoning Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Lio, Frederic Precioso, Mateja Jamnik, Giuseppe Marra

ICMLW 2023 Interpretable Neural-Symbolic Concept Reasoning Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Lio, Frederic Precioso, Mateja Jamnik, Giuseppe Marra

NeurIPS 2023 Learning to Receive Help: Intervention-Aware Concept Embedding Models Mateo Espinosa Zarlenga, Katie Collins, Krishnamurthy Dvijotham, Adrian Weller, Zohreh Shams, Mateja Jamnik

ICMLW 2023 ProtoGate: Prototype-Based Neural Networks with Local Feature Selection for Tabular Biomedical Data Xiangjian Jiang, Andrei Margeloiu, Nikola Simidjievski, Mateja Jamnik

TMLR 2023 TabCBM: Concept-Based Interpretable Neural Networks for Tabular Data Mateo Espinosa Zarlenga, Zohreh Shams, Michael Edward Nelson, Been Kim, Mateja Jamnik

ICMLW 2023 TabCBM: Concept-Based Interpretable Neural Networks for Tabular Data Mateo Espinosa Zarlenga, Zohreh Shams, Michael Edward Nelson, Been Kim, Mateja Jamnik

AAAI 2023 Towards Robust Metrics for Concept Representation Evaluation Mateo Espinosa Zarlenga, Pietro Barbiero, Zohreh Shams, Dmitry Kazhdan, Umang Bhatt, Adrian Weller, Mateja Jamnik

AAAI 2023 Weight Predictor Network with Feature Selection for Small Sample Tabular Biomedical Data Andrei Margeloiu, Nikola Simidjievski, Pietro Liò, Mateja Jamnik

NeurIPS 2022 Autoformalization with Large Language Models Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

NeurIPS 2022 Concept Embedding Models: Beyond the Accuracy-Explainability Trade-Off Mateo Espinosa Zarlenga, Pietro Barbiero, Gabriele Ciravegna, Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Zohreh Shams, Frederic Precioso, Stefano Melacci, Adrian Weller, Pietro Lió, Mateja Jamnik

LoG 2022 Distributed Representations of Graphs for Drug Pair Scoring Paul Scherer, Pietro Lio, Mateja Jamnik

AAAI 2022 On the Relation Between Distributionally Robust Optimization and Data Curation (Student Abstract) Agnieszka Slowik, Léon Bottou, Sean B. Holden, Mateja Jamnik

NeurIPS 2022 Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers Albert Qiaochu Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygóźdź, Piotr Miłoś, Yuhuai Wu, Mateja Jamnik

NeurIPSW 2021 Efficient Decompositional Rule Extraction for Deep Neural Networks Mateo Espinosa Zarlenga, Zohreh Shams, Mateja Jamnik

ICLR 2020 Abstract Diagrammatic Reasoning with Multiplex Graph Networks Duo Wang, Mateja Jamnik, Pietro Lio

AAAI 2020 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson

NeurIPSW 2020 MEME: Generating RNN Model Explanations via Model Extraction Dmitry Kazhdan, Botty Dimanov, Mateja Jamnik, Pietro Liò

IJCAI 1997 Automation of Diagrammatic Proofs in Mathematics Mateja Jamnik

IJCAI 1997 Automation of Diagrammatic Reasoning Mateja Jamnik, Alan Bundy, Ian Green