Mark Niklas Mueller
11 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🤝
Dynamic Duo
(10)
💎
Century Club
(11)
🔥
Unstoppable
(5)
Conferences
ICLR (7)
ICML (4)
Top co-authors
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