Jamnik, Mateja
- 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 · 65 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering Research #cs.AI #cs.LG
- Autoformalization with Large Language Models
2022/05/25 by Yuhuai Wu, Wu, Yuhuai, Albert Q. Jiang +11 · 54 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
- Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
2022/05/22 by Jiang, Albert Q., Li, Wenda, Tworkowski, Szymon +5 · 19 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Do Concept Bottleneck Models Learn as Intended?
2021/05/10 by Margeloiu, Andrei, Ashman, Matthew, Bhatt, Umang +3 · 15 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Learning to Receive Help: Intervention-Aware Concept Embedding Models
2023/09/29 by Zarlenga, Mateo Espinosa, Collins, Katherine M., Dvijotham, Krishnamurthy +3 · 11 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Multilingual Mathematical Autoformalization
2023/11/07 by Albert Q. Jiang, Jiang, Albert Q., Wenda Li +3 · 11 citations
Computer Science · #Natural Language Processing Techniques #Topic Modeling #Text Readability and Simplification
- Evaluating Language Models for Mathematics through Interactions
2023/06/02 by Katherine M. Collins, Albert Q. Jiang, Collins, Katherine M. +25 · 10 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
- HEALNet: Multimodal Fusion for Heterogeneous Biomedical Data
2023/11/15 by Konstantin Hemker, Hemker, Konstantin, Mateja Jamnik +2 · 8 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
- Now You See Me (CME): Concept-based Model Extraction
2020/10/25 by Dmitry Kazhdan, Botty Dimanov, Kazhdan, Dmitry +7 · 3 citations
Computer Science · Decision Sciences · #Data Quality and Management #FOS: Computer and information sciences #Machine Learning (cs.LG) #Time Series Analysis and Forecasting #Topic Modeling
- Understanding Inter-Concept Relationships in Concept-Based Models
2024/05/28 by Raman, Naveen, Zarlenga, Mateo Espinosa, Jamnik, Mateja · 5 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG)
- Do Concept Bottleneck Models Respect Localities?
2024/01/02 by Raman, Naveen, Zarlenga, Mateo Espinosa, Heo, Juyeon +1 · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Human Uncertainty in Concept-Based AI Systems
2023/03/22 by Katherine M. Collins, Collins, Katherine M., Matthew L Barker +15 · 3 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
- End-to-End Ontology Learning with Large Language Models
2024/10/31 by Lo, Andy, Jiang, Albert Q., Li, Wenda +1 · 5 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- ProtoGate: Prototype-based Neural Networks with Global-to-local Feature Selection for Tabular Biomedical Data
2023/06/21 by Xiangjian Jiang, Andrei Margeloiu, Jiang, Xiangjian +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
- Abstract Diagrammatic Reasoning with Multiplex Graph Networks
2020/06/19 by Wang, Duo, Jamnik, Mateja, Lio, Pietro · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Efficient Bias Mitigation Without Privileged Information
2024/09/26 by Mateo Espinosa Zarlenga, Zarlenga, Mateo Espinosa, Swami Sankaranarayanan +9 · 3 citations
Decision Sciences · Economics, Econometrics and Finance · #Auction Theory and Applications #Law, Economics, and Judicial Systems
- 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
- Is Disentanglement all you need? Comparing Concept-based & Disentanglement Approaches
2021/04/14 by Kazhdan, Dmitry, Dimanov, Botty, Terre, Helena Andres +3 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- LLM Embeddings for Deep Learning on Tabular Data
2025/02/17 by Boshko Koloski, Andrei Margeloiu, Koloski, Boshko +9 · 4 citations
Computer Science · Engineering · #Computational Physics and Python Applications #Advanced Data Processing Techniques #Neural Networks and Applications
- TabEBM: A Tabular Data Augmentation Method with Distinct Class-Specific Energy-Based Models
2024/09/24 by Andrei Margeloiu, Margeloiu, Andrei, Xiangjian Jiang +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications
- Weight Predictor Network with Feature Selection for Small Sample Tabular Biomedical Data
2022/11/28 by Margeloiu, Andrei, Simidjievski, Nikola, Lio, Pietro +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
2024/06/06 by Alicja Ziarko, Ziarko, Alicja, Albert Q. Jiang +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
- 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
- PATHS: A Hierarchical Transformer for Efficient Whole Slide Image Analysis
2024/11/27 by Zak Buzzard, Buzzard, Zak, Konstantin Hemker +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
- CGXplain: Rule-Based Deep Neural Network Explanations Using Dual Linear Programs
2023/04/11 by Konstantin Hemker, Zohreh Shams, Hemker, Konstantin +3 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
- 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
- Foundations of Interpretable Models
2025/08/01 by Barbiero, Pietro, Zarlenga, Mateo Espinosa, Termine, Alberto +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural and Evolutionary Computing (cs.NE)
- How Well Does Your Tabular Generator Learn the Structure of Tabular Data?
2025/03/12 by Jiang, Xiangjian, Simidjievski, Nikola, Jamnik, Mateja · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG)