Mark Niklas Mueller
11 papers · 2021–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (20) 🤝 Dynamic Duo (10) 🗃️ Keyword Collector (50)
🔥
Unstoppable · Bronze
🌈
Renaissance Researcher
(5)
💎
Century Club · Bronze
Top co-authors
Research topics
Machine Learning
(8)
Artificial Intelligence
(7)
Core AI
(7)
Optimization & Theory
(5)
Deep Learning
(3)
Application Areas
(2)
Architectures
(2)
Computer Science
(1)
Computer Vision
(1)
Healthcare & Medicine
(1)
Natural Language Processing
(1)
Analysis
(1)
Applications
(1)
Clinical
(1)
Core Methods
(1)
Keywords
convex relaxation
(3)
adversarial robustness
(3)
certified robustness
(3)
neural network verification
(3)
randomized smoothing
(2)
robustness verification
(2)
certified training
(2)
adversarial defense
(1)
neural ordinary differential equation
(1)
branch and bound
(1)
adversarial attack
(1)
approximation error
(1)
formal verification
(1)
interval bound propagation
(1)
relu network
(1)
variance reduction
(1)
code agent
(1)
piecewise linear
(1)
robustness certificate
(1)
ensemble learning
(1)
Papers
Automated Benchmark Generation for Repository-Level Coding Tasks
ICML 2025
Average Certified Radius is a Poor Metric for Randomized Smoothing
ICML 2025
Certification for Differentially Private Prediction in Gradient-Based Training
ICML 2025
Expressivity of ReLU-Networks under Convex Relaxations
ICLR 2024
Prompt Sketching for Large Language Models
ICML 2024
Understanding Certified Training with Interval Bound Propagation
ICLR 2024
Certified Training: Small Boxes are All You Need
ICLR 2023
Efficient Certified Training and Robustness Verification of Neural ODEs
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