PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations
Mark Niklas Müller, Makarchuk, Gleb, Singh, Gagandeep, Püschel, Markus, Vechev, Martin
Published in arXiv.org (28.02.2022)
Published in arXiv.org (28.02.2022)
Get full text
Paper
Journal Article
First three years of the international verification of neural networks competition (VNN-COMP)
Brix, Christopher, Müller, Mark Niklas, Bak, Stanley, Johnson, Taylor T., Liu, Changliu
Published in International journal on software tools for technology transfer (01.06.2023)
Published in International journal on software tools for technology transfer (01.06.2023)
Get full text
Journal Article
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Müller, Mark Niklas, Fischer, Marc, Staab, Robin, Vechev, Martin
Published in Proceedings of ACM on programming languages (06.06.2023)
Published in Proceedings of ACM on programming languages (06.06.2023)
Get full text
Journal Article
SPEAR:Exact Gradient Inversion of Batches in Federated Learning
Dimitrov, Dimitar I, Baader, Maximilian, Müller, Mark Niklas, Vechev, Martin
Year of Publication 06.03.2024
Year of Publication 06.03.2024
Get full text
Journal Article
Prompt Sketching for Large Language Models
Beurer-Kellner, Luca, Müller, Mark Niklas, Fischer, Marc, Vechev, Martin
Year of Publication 08.11.2023
Year of Publication 08.11.2023
Get full text
Journal Article
Mitigating Catastrophic Forgetting in Language Transfer via Model Merging
Alexandrov, Anton, Raychev, Veselin, Müller, Mark Niklas, Zhang, Ce, Vechev, Martin, Toutanova, Kristina
Year of Publication 11.07.2024
Year of Publication 11.07.2024
Get full text
Journal Article
Certified Training: Small Boxes are All You Need
Müller, Mark Niklas, Eckert, Franziska, Fischer, Marc, Vechev, Martin
Year of Publication 10.10.2022
Year of Publication 10.10.2022
Get full text
Journal Article
DAGER: Exact Gradient Inversion for Large Language Models
Petrov, Ivo, Dimitrov, Dimitar I, Baader, Maximilian, Müller, Mark Niklas, Vechev, Martin
Year of Publication 24.05.2024
Year of Publication 24.05.2024
Get full text
Journal Article
Overcoming the Paradox of Certified Training with Gaussian Smoothing
Balauca, Stefan, Müller, Mark Niklas, Mao, Yuhao, Baader, Maximilian, Fischer, Marc, Vechev, Martin
Year of Publication 11.03.2024
Year of Publication 11.03.2024
Get full text
Journal Article
(De-)Randomized Smoothing for Decision Stump Ensembles
Horváth, Miklós Z, Müller, Mark Niklas, Fischer, Marc, Vechev, Martin
Year of Publication 27.05.2022
Year of Publication 27.05.2022
Get full text
Journal Article
Evading Data Contamination Detection for Language Models is (too) Easy
Dekoninck, Jasper, Müller, Mark Niklas, Baader, Maximilian, Fischer, Marc, Vechev, Martin
Year of Publication 05.02.2024
Year of Publication 05.02.2024
Get full text
Journal Article