Mateja Jamnik
26 papers · 2020–2025 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (53) π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π¬
Deep Specialist
(10)
π
Grand Slam
π
Triple Crown
π
Keyword Champion
(2)
π§
Keyword Pioneer
π
Renaissance Researcher
(7)
ποΈ
Keyword Collector
(151)
β‘
Prolific Year Β· Prolific
π
Century Club Β· Bronze
π
Trend Setter
Venues
Top co-authors
Research topics
Artificial Intelligence
(17)
Deep Learning
(17)
Core AI
(17)
Machine Learning
(15)
Architectures
(8)
Core Methods
(8)
Learning Types Β· Machine Learning
(7)
Natural Language Processing
(6)
Application Areas
(6)
Learning Types Β· Deep Learning
(6)
Models
(6)
Resources & Methods
(6)
Healthcare & Medicine
(5)
Knowledge & Reasoning
(4)
Optimization & Theory
(3)
Keywords
large language model
(4)
concept-based model
(3)
automated theorem proving
(3)
transfer learning
(3)
neural network
(3)
mathematical reasoning
(3)
feature selection
(2)
neural-symbolic reasoning
(2)
concept intervention
(2)
explainable ai
(2)
biomedical data
(2)
multimodal fusion
(2)
multimodal learning
(2)
knowledge representation
(2)
representation learning
(2)
concept representation
(2)
concept bottleneck model
(2)
tabular data
(2)
premise selection
(2)
normal mode analysis
(2)
Papers
Avoiding Leakage Poisoning: Concept Interventions Under Distribution Shifts
ICML 2025
Measuring Cross-Modal Interactions in Multimodal Models
AAAI 2025
Multimodal Lego: Model Merging and Fine-Tuning Across Topologies and Modalities in Biomedicine
ICLR 2025
Neural Reasoning for Sure Through Constructing Explainable Models
AAAI 2025
NMA-tune: Generating Highly Designable and Dynamics Aware Protein Backbones
ICML 2025
Dynamics-Informed Protein Design with Structure Conditioning
ICLR 2024
Efficient Bias Mitigation Without Privileged Information
ECCV 2024
End-to-End Ontology Learning with Large Language Models
NeurIPS 2024
Generation of Visual Representations for Multi-Modal Mathematical Knowledge
AAAI 2024
HEALNet: Multimodal Fusion for Heterogeneous Biomedical Data
NeurIPS 2024
Multi-language Diversity Benefits Autoformalization
NeurIPS 2024
ProtoGate: Prototype-based Neural Networks with Global-to-local Feature Selection for Tabular Biomedical Data
ICML 2024
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
NeurIPS 2024
TabEBM: A Tabular Data Augmentation Method with Distinct Class-Specific Energy-Based Models
NeurIPS 2024
Understanding Inter-Concept Relationships in Concept-Based Models
ICML 2024
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
ICLR 2023
Interpretable Neural-Symbolic Concept Reasoning
ICML 2023
Learning to Receive Help: Intervention-Aware Concept Embedding Models
NeurIPS 2023
Towards Robust Metrics for Concept Representation Evaluation
AAAI 2023
Weight Predictor Network with Feature Selection for Small Sample Tabular Biomedical Data
AAAI 2023
Autoformalization with Large Language Models
NeurIPS 2022
Concept Embedding Models: Beyond the Accuracy-Explainability Trade-Off
NeurIPS 2022
On the Relation between Distributionally Robust Optimization and Data Curation (Student Abstract)
AAAI 2022
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
NeurIPS 2022
Abstract Diagrammatic Reasoning with Multiplex Graph Networks
ICLR 2020
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract)
AAAI 2020