Mark Niklas Mller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | Average Certified Radius is a Poor Metric for Randomized Smoothing. | Chenhao Sun, Yuhao Mao, Mark Niklas Mller, Martin T. Vechev |
| 2025 | ICML | Automated Benchmark Generation for Repository-Level Coding Tasks. | Konstantinos Vergopoulos, Mark Niklas Mller, Martin T. Vechev |
| 2025 | ICML | Certification for Differentially Private Prediction in Gradient-Based Training. | Matthew Wicker, Philip Sosnin, Igor Shilov, Adrianna Janik, Mark Niklas Mller, Yves-Alexandre de Montjoye, Adrian Weller, Calvin Tsay |
| 2024 | EMNLP | Mitigating Catastrophic Forgetting in Language Transfer via Model Merging. | Anton Alexandrov, Veselin Raychev, Mark Niklas Mller, Ce Zhang, Martin T. Vechev, Kristina Toutanova |
| 2024 | ICLR | Expressivity of ReLU-Networks under Convex Relaxations. | Maximilian Baader, Mark Niklas Mller, Yuhao Mao, Martin T. Vechev |
| 2024 | ICLR | Understanding Certified Training with Interval Bound Propagation. | Yuhao Mao, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2024 | ICML | Prompt Sketching for Large Language Models. | Luca Beurer-Kellner, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2023 | ICLR | Certified Training: Small Boxes are All You Need. | Mark Niklas Mller, Franziska Eckert, Marc Fischer, Martin T. Vechev |
| 2023 | ICLR | Efficient Certified Training and Robustness Verification of Neural ODEs. | Mustafa Zeqiri, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2022 | ICLR | Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound. | Claudio Ferrari, Mark Niklas Mller, Nikola Jovanovic, Martin T. Vechev |
| 2022 | ICLR | Boosting Randomized Smoothing with Variance Reduced Classifiers. | Mikls Z. Horvth, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2021 | ICLR | Certify or Predict: Boosting Certified Robustness with Compositional Architectures. | Mark Niklas Mller, Mislav Balunovic, Martin T. Vechev |