PRIMA: general and precise neural network certification via scalable convex hull approximations von Müller, Mark Niklas, Makarchuk, Gleb, Singh, Gagandeep, Püschel, Markus, Vechev, Martin

Volltext

First three years of the international verification of neural networks competition (VNN-COMP) von Brix, Christopher, Müller, Mark Niklas, Bak, Stanley, Johnson, Taylor T., Liu, Changliu

Volltext

Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks von Mark Niklas Müller, Fischer, Marc, Staab, Robin, Vechev, Martin

Volltext

Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks von Müller, Mark Niklas, Fischer, Marc, Staab, Robin, Vechev, Martin

Volltext

PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations von Mark Niklas Müller, Makarchuk, Gleb, Singh, Gagandeep, Püschel, Markus, Vechev, Martin

Volltext

ConStat: Performance-Based Contamination Detection in Large Language Models von Dekoninck, Jasper, Müller, Mark Niklas, Vechev, Martin

Volltext bestellen

Average Certified Radius is a Poor Metric for Randomized Smoothing von Sun, Chenhao, Mao, Yuhao, Müller, Mark Niklas, Vechev, Martin

Volltext bestellen

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents von Mündler, Niels, Müller, Mark Niklas, He, Jingxuan, Vechev, Martin

Volltext bestellen

SPEAR:Exact Gradient Inversion of Batches in Federated Learning von Dimitrov, Dimitar I, Baader, Maximilian, Müller, Mark Niklas, Vechev, Martin

Volltext bestellen

Automated Classification of Model Errors on ImageNet von Peychev, Momchil, Müller, Mark Niklas, Fischer, Marc, Vechev, Martin

Volltext bestellen

Prompt Sketching for Large Language Models von Beurer-Kellner, Luca, Müller, Mark Niklas, Fischer, Marc, Vechev, Martin

Volltext bestellen

Expressivity of ReLU-Networks under Convex Relaxations von Baader, Maximilian, Müller, Mark Niklas, Mao, Yuhao, Vechev, Martin

Volltext bestellen

Understanding Certified Training with Interval Bound Propagation von Mao, Yuhao, Müller, Mark Niklas, Fischer, Marc, Vechev, Martin

Volltext bestellen

TAPS: Connecting Certified and Adversarial Training von Mao, Yuhao, Müller, Mark Niklas, Fischer, Marc, Vechev, Martin

Volltext bestellen

Efficient Certified Training and Robustness Verification of Neural ODEs von Zeqiri, Mustafa, Müller, Mark Niklas, Fischer, Marc, Vechev, Martin

Volltext bestellen

Diagnosing Robotics Systems Issues with Large Language Models von Herrmann, Jordis Emilia, Gopinath, Aswath Mandakath, Norrlof, Mikael, Müller, Mark Niklas

Volltext bestellen

Mitigating Catastrophic Forgetting in Language Transfer via Model Merging von Alexandrov, Anton, Raychev, Veselin, Müller, Mark Niklas, Zhang, Ce, Vechev, Martin, Toutanova, Kristina

Volltext bestellen

Certified Training: Small Boxes are All You Need von Müller, Mark Niklas, Eckert, Franziska, Fischer, Marc, Vechev, Martin

Volltext bestellen

DAGER: Exact Gradient Inversion for Large Language Models von Petrov, Ivo, Dimitrov, Dimitar I, Baader, Maximilian, Müller, Mark Niklas, Vechev, Martin

Volltext bestellen

Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations von Balauca, Stefan, Müller, Mark Niklas, Mao, Yuhao, Baader, Maximilian, Fischer, Marc, Vechev, Martin

Volltext bestellen