Mark Niklas Müller

1. SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
   2024/06/18 by Niels Mündler, Mark Niklas Müller, Mündler, Niels +5 · 45 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Software Engineering (cs.SE) #Software System Performance and Reliability #Software Testing and Debugging Techniques
2. Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
   2022/04/30 by Claudio Ferrari, Mark Niklas Müller, Ferrari, Claudio +5 · 7 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Explainable Artificial Intelligence (XAI)
3. Mitigating Catastrophic Forgetting in Language Transfer via Model Merging
   2024/07/11 by Anton Alexandrov, Veselin Raychev, Alexandrov, Anton +9 · 11 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
4. Certified Training: Small Boxes are All You Need
   2022/10/10 by Mark Niklas Müller, Franziska Eckert, Müller, Mark Niklas +5 · 5 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Fault Detection and Control Systems
5. Evading Data Contamination Detection for Language Models is (too) Easy
   2024/02/05 by Jasper Dekoninck, Dekoninck, Jasper, Mark Niklas Müller +7 · 5 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data
6. ConStat: Performance-Based Contamination Detection in Large Language Models
   2024/05/25 by Jasper Dekoninck, Mark Niklas Müller, Dekoninck, Jasper +3 · 5 citations
   Computer Science · #Topic Modeling #Natural Language Processing Techniques #Anomaly Detection Techniques and Applications
7. SPEAR:Exact Gradient Inversion of Batches in Federated Learning
   2024/03/06 by Dimitar I. Dimitrov, Dimitrov, Dimitar I., Maximilian Baader +5 · 3 citations
   Computer Science · #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #I.2.11 #Machine Learning (cs.LG) #Machine Learning and ELM #Neural Networks and Applications #Parallel #Stochastic Gradient Optimization Techniques #and Cluster Computing (cs.DC)
8. Expressivity of ReLU-Networks under Convex Relaxations
   2023/11/07 by Maximilian Baader, Baader, Maximilian, Mark Niklas Müller +5 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Advanced Memory and Neural Computing #Neural Networks and Applications
9. Efficient Certified Training and Robustness Verification of Neural ODEs
   2023/03/09 by Mustafa Zeqiri, Mark Niklas Müller, Zeqiri, Mustafa +5 · 1 citation
   Computer Science · Materials Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Model Reduction and Neural Networks