Mark Niklas Mueller

11 papers · 2021–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🤝 Dynamic Duo (10) 💎 Century Club (11) 🔥 Unstoppable (5)

Conferences

ICLR (7) ICML (4)

Top co-authors

Martin Vechev (10) Marc Fischer (5) Yuhao Mao (3) Nikola Jovanović (1) Philip Sosnin (1) Claudio Ferrari (1) Konstantinos Vergopoulos (1) Igor Shilov (1) Mislav Balunovic (1) Adrian Weller (1)

Classification in progress for this author's papers.

Papers

Average Certified Radius is a Poor Metric for Randomized Smoothing ICML 2025

Certification for Differentially Private Prediction in Gradient-Based Training ICML 2025

Automated Benchmark Generation for Repository-Level Coding Tasks ICML 2025

Understanding Certified Training with Interval Bound Propagation ICLR 2024

Expressivity of ReLU-Networks under Convex Relaxations ICLR 2024

Prompt Sketching for Large Language Models ICML 2024

Efficient Certified Training and Robustness Verification of Neural ODEs ICLR 2023

Certified Training: Small Boxes are All You Need ICLR 2023

Boosting Randomized Smoothing with Variance Reduced Classifiers ICLR 2022

Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound ICLR 2022

Certify or Predict: Boosting Certified Robustness with Compositional Architectures ICLR 2021