conftrace_

Mateja Jamnik

26 papers · 2020–2025 · 5 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
+9 more ↓ 🧭 Keyword Pioneer 🌈 Renaissance Researcher (5) πŸŒ‰ Interdisciplinary Bridge πŸ—ΊοΈ Taxonomy Completionist (11) 🌍 Conference Polyglot (5)
🧭 Keyword Pioneer 🐝 Cross-Pollinator (10) 🐣 Hot Topic Early Bird πŸ† Grand Slam πŸ‘‘ Triple Crown πŸ† Keyword Champion (2) ⚑ Prolific Year (10) πŸ—ƒοΈ Keyword Collector (118) πŸ’Ž Century Club (26)

Conferences

NIPS (9) AAAI (7) ICML (5) ICLR (4) ECCV (1)

Research topics

Papers

Multimodal Lego: Model Merging and Fine-Tuning Across Topologies and Modalities in Biomedicine ICLR 2025 NMA-tune: Generating Highly Designable and Dynamics Aware Protein Backbones ICML 2025 Avoiding Leakage Poisoning: Concept Interventions Under Distribution Shifts ICML 2025 Measuring Cross-Modal Interactions in Multimodal Models AAAI 2025 Neural Reasoning for Sure Through Constructing Explainable Models AAAI 2025 End-to-End Ontology Learning with Large Language Models NIPS 2024 Generation of Visual Representations for Multi-Modal Mathematical Knowledge AAAI 2024 Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe NIPS 2024 HEALNet: Multimodal Fusion for Heterogeneous Biomedical Data NIPS 2024 TabEBM: A Tabular Data Augmentation Method with Distinct Class-Specific Energy-Based Models NIPS 2024 Multi-language Diversity Benefits Autoformalization NIPS 2024 Efficient Bias Mitigation Without Privileged Information ECCV 2024 Dynamics-Informed Protein Design with Structure Conditioning ICLR 2024 ProtoGate: Prototype-based Neural Networks with Global-to-local Feature Selection for Tabular Biomedical Data ICML 2024 Understanding Inter-Concept Relationships in Concept-Based Models ICML 2024 Learning to Receive Help: Intervention-Aware Concept Embedding Models NIPS 2023 Interpretable Neural-Symbolic Concept Reasoning ICML 2023 Weight Predictor Network with Feature Selection for Small Sample Tabular Biomedical Data AAAI 2023 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs ICLR 2023 Towards Robust Metrics for Concept Representation Evaluation AAAI 2023 On the Relation between Distributionally Robust Optimization and Data Curation (Student Abstract) AAAI 2022 Autoformalization with Large Language Models NIPS 2022 Concept Embedding Models: Beyond the Accuracy-Explainability Trade-Off NIPS 2022 Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers NIPS 2022 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020 Abstract Diagrammatic Reasoning with Multiplex Graph Networks ICLR 2020