Fischer, Marc

24 publications

TMLR 2025 Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations Stefan Balauca, Mark Niklas Mueller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin Vechev

ISIPTA 2025 Precise and Imprecise Bayesianism Applied to Gas-Solid Reactions Marc Fischer, Loı̈c Favergeon

ISIPTA 2025 Time-Slice Bayesianism as a Potential Solution to the Problem of Dilation and Reflection for Imprecise Probabilities Marc Fischer

ICMLW 2024 AI Agents with Formal Security Guarantees Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Martin Vechev

NeurIPS 2024 AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr

ICLR 2024 Controlled Text Generation via Language Model Arithmetic Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin Vechev

ICML 2024 Guiding LLMs the Right Way: Fast, Non-Invasive Constrained Generation Luca Beurer-Kellner, Marc Fischer, Martin Vechev

ICML 2024 Prompt Sketching for Large Language Models Luca Beurer-Kellner, Mark Niklas Mueller, Marc Fischer, Martin Vechev

ICLR 2024 Understanding Certified Training with Interval Bound Propagation Yuhao Mao, Mark Niklas Mueller, Marc Fischer, Martin Vechev

ISIPTA 2023 A Comparison Between a Frequentist, Bayesian and Imprecise Bayesian Approach to Delay Time Maintenance Marc Fischer

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

ICLR 2023 Certified Training: Small Boxes Are All You Need Mark Niklas Mueller, Franziska Eckert, Marc Fischer, Martin Vechev

NeurIPS 2023 Connecting Certified and Adversarial Training Yuhao Mao, Mark Müller, Marc Fischer, Martin Vechev

ICLR 2023 Efficient Certified Training and Robustness Verification of Neural ODEs Mustafa Zeqiri, Mark Niklas Mueller, Marc Fischer, Martin Vechev

NeurIPS 2022 (De-)Randomized Smoothing for Decision Stump Ensembles Miklós Horváth, Mark Müller, Marc Fischer, Martin Vechev

ICLR 2022 Boosting Randomized Smoothing with Variance Reduced Classifiers Miklós Z. Horváth, Mark Niklas Mueller, Marc Fischer, Martin Vechev

NeurIPSW 2022 Certified Training: Small Boxes Are All You Need Mark Niklas Mueller, Franziska Eckert, Marc Fischer, Martin Vechev

NeurIPSW 2022 Efficient Robustness Verification of Neural Ordinary Differential Equations Mustafa Zeqiri, Mark Niklas Mueller, Marc Fischer, Martin Vechev

ISIPTA 2021 An Imprecise Bayesian Approach to Thermal Runaway Probability Marc Fischer, Alexis Vignes

ICML 2021 Scalable Certified Segmentation via Randomized Smoothing Marc Fischer, Maximilian Baader, Martin Vechev

NeurIPS 2020 Certified Defense to Image Transformations via Randomized Smoothing Marc Fischer, Maximilian Baader, Martin Vechev

NeurIPS 2020 Learning Certified Individually Fair Representations Anian Ruoss, Mislav Balunovic, Marc Fischer, Martin Vechev

ICML 2019 DL2: Training and Querying Neural Networks with Logic Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev

ISIPTA 2019 On the Usefulness of Imprecise Bayesianism in Chemical Kinetics Marc Fischer