Mateja Jamnik

1. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
   2022/10/21 by Albert Q. Jiang, Sean Welleck, Jiang, Albert Q. +16 · 1 voice · 47 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering Research #cs.AI #cs.LG
2. Autoformalization with Large Language Models
   2022/05/25 by Yuhuai Wu, Albert Q. Jiang, Wu, Yuhuai +11 · 42 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Software Engineering (cs.SE) #Software Engineering Research
3. Multilingual Mathematical Autoformalization
   2023/11/07 by Albert Q. Jiang, Wenda Li, Jiang, Albert Q. +3 · 10 citations
   Computer Science · #Natural Language Processing Techniques #Topic Modeling #Text Readability and Simplification
4. HEALNet: Multimodal Fusion for Heterogeneous Biomedical Data
   2023/11/15 by Konstantin Hemker, Hemker, Konstantin, Mateja Jamnik +2 · 6 citations
   Computer Science · Biochemistry, Genetics and Molecular Biology · Medicine · #AI in cancer detection #Gene expression and cancer classification #Radiomics and Machine Learning in Medical Imaging
5. Evaluating Language Models for Mathematics through Interactions
   2023/06/02 by Katherine M. Collins, Collins, Katherine M., Albert Q. Jiang +25 · 5 citations
   Computer Science · Medicine · #Artificial Intelligence in Healthcare and Education #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Machine Learning (cs.LG) #Topic Modeling
6. ProtoGate: Prototype-based Neural Networks with Global-to-local Feature Selection for Tabular Biomedical Data
   2023/06/21 by Xiangjian Jiang, Jiang, Xiangjian, Andrei Margeloiu +5 · 2 citations
   Computer Science · #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Machine Learning in Healthcare
7. Human Uncertainty in Concept-Based AI Systems
   2023/03/22 by Katherine M. Collins, Collins, Katherine M., Matthew L Barker +15 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Data Stream Mining Techniques #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Machine Learning (cs.LG) #Machine Learning and Data Classification
8. Failing Conceptually: Concept-Based Explanations of Dataset Shift
   2021/04/18 by Maleakhi A. Wijaya, Dmitry Kazhdan, Wijaya, Maleakhi A. +5 · 1 citation
   Computer Science · #Anomaly Detection Techniques and Applications #Data Stream Mining Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Time Series Analysis and Forecasting
9. Efficient Bias Mitigation Without Privileged Information
   2024/09/26 by Mateo Espinosa Zarlenga, Swami Sankaranarayanan, Zarlenga, Mateo Espinosa +9 · 2 citations
   Decision Sciences · Economics, Econometrics and Finance · #Auction Theory and Applications #Law, Economics, and Judicial Systems
10. LLM Embeddings for Deep Learning on Tabular Data
    2025/02/17 by Boshko Koloski, Koloski, Boshko, Andrei Margeloiu +9 · 3 citations
    Computer Science · Engineering · #Computational Physics and Python Applications #Advanced Data Processing Techniques #Neural Networks and Applications
11. Avoiding Leakage Poisoning: Concept Interventions Under Distribution Shifts
    2025/04/24 by Mateo Espinosa Zarlenga, Gabriele Dominici, Zarlenga, Mateo Espinosa +7 · 3 citations
    Environmental Science · #Oil Spill Detection and Mitigation
12. PATHS: A Hierarchical Transformer for Efficient Whole Slide Image Analysis
    2024/11/27 by Zak Buzzard, Konstantin Hemker, Buzzard, Zak +5 · 2 citations
    Biochemistry, Genetics and Molecular Biology · Computer Science · #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #Cell Image Analysis Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Medical Image Segmentation Techniques
13. Multimodal Lego: Model Merging and Fine-Tuning Across Topologies and Modalities in Biomedicine
    2024/05/30 by Konstantin Hemker, Nikola Simidjievski, Hemker, Konstantin +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Speech and dialogue systems
14. TabEBM: A Tabular Data Augmentation Method with Distinct Class-Specific Energy-Based Models
    2024/09/24 by Andrei Margeloiu, Xiangjian Jiang, Margeloiu, Andrei +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications
15. Persistent Sparse Autoencoders: Learning Feature Timescales in Language Models
    2026/07/19 by Haoyan Luo, Mateo Espinosa Zarlenga, Mateja Jamnik
    #cs.LG #cs.CL