Mueller, Mark Niklas

19 publications

ICML 2025 Automated Benchmark Generation for Repository-Level Coding Tasks Konstantinos Vergopoulos, Mark Niklas Mueller, Martin Vechev

ICLRW 2025 Automated Benchmark Generation for Repository-Level Coding Tasks Konstantinos Vergopoulos, Mark Niklas Mueller, Martin Vechev

ICML 2025 Average Certified Radius Is a Poor Metric for Randomized Smoothing Chenhao Sun, Yuhao Mao, Mark Niklas Mueller, Martin Vechev

ICML 2025 Certification for Differentially Private Prediction in Gradient-Based Training Matthew Robert Wicker, Philip Sosnin, Igor Shilov, Adrianna Janik, Mark Niklas Mueller, Yves-Alexandre De Montjoye, Adrian Weller, Calvin Tsay

TMLR 2025 Certified Robustness to Data Poisoning in Gradient-Based Training Philip Sosnin, Mark Niklas Mueller, Maximilian Baader, Calvin Tsay, Matthew Robert Wicker

ICLRW 2025 Diagnosing Robotics Systems Issues with Large Language Models – A Case Study Jordis Emilia Herrmann, Aswath Mandakath Gopinath, Mikael Norrlof, Mark Niklas Mueller

TMLR 2025 Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations Stefan Balauca, Mark Niklas Mueller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin Vechev

ICMLW 2024 Code Agents Are State of the Art Software Testers Niels Mündler, Mark Niklas Mueller, Jingxuan He, Martin Vechev

ICMLW 2024 Code Agents Are State of the Art Software Testers Niels Mündler, Mark Niklas Mueller, Jingxuan He, Martin Vechev

ICLR 2024 Expressivity of ReLU-Networks Under Convex Relaxations Maximilian Baader, Mark Niklas Mueller, Yuhao Mao, Martin Vechev

ICML 2024 Prompt Sketching for Large Language Models Luca Beurer-Kellner, Mark Niklas Mueller, Marc Fischer, Martin Vechev

ICLR 2024 Understanding Certified Training with Interval Bound Propagation Yuhao Mao, Mark Niklas Mueller, Marc Fischer, Martin Vechev

ICLR 2023 Certified Training: Small Boxes Are All You Need Mark Niklas Mueller, Franziska Eckert, Marc Fischer, Martin Vechev

ICLR 2023 Efficient Certified Training and Robustness Verification of Neural ODEs Mustafa Zeqiri, Mark Niklas Mueller, Marc Fischer, Martin Vechev

ICLR 2022 Boosting Randomized Smoothing with Variance Reduced Classifiers Miklós Z. Horváth, Mark Niklas Mueller, Marc Fischer, Martin Vechev

NeurIPSW 2022 Certified Training: Small Boxes Are All You Need Mark Niklas Mueller, Franziska Eckert, Marc Fischer, Martin Vechev

ICLR 2022 Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound Claudio Ferrari, Mark Niklas Mueller, Nikola Jovanović, Martin Vechev

NeurIPSW 2022 Efficient Robustness Verification of Neural Ordinary Differential Equations Mustafa Zeqiri, Mark Niklas Mueller, Marc Fischer, Martin Vechev

ICLR 2021 Certify or Predict: Boosting Certified Robustness with Compositional Architectures Mark Niklas Mueller, Mislav Balunovic, Martin Vechev