Marc Fischer

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 39

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
Controlled Text Generation via Language Model Arithmetic. ICLR (2024)
Momchil Peychev, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Automated Classification of Model Errors on ImageNet. CoRR (2024)
Jasper Dekoninck, Mark Niklas Müller, Maximilian Baader, Marc Fischer, Martin T. Vechev
Evading Data Contamination Detection for Language Models is (too) Easy. CoRR (2024)
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation. CoRR (2024)
Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Understanding Certified Training with Interval Bound Propagation. ICLR (2024)
Stefan Balauca, Mark Niklas Müller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin T. Vechev
Overcoming the Paradox of Certified Training with Gaussian Smoothing. CoRR (2024)
Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr
AgentDojo: A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents. CoRR (2024)
Mark Niklas Müller, Franziska Eckert, Marc Fischer, Martin T. Vechev
Certified Training: Small Boxes are All You Need. ICLR (2023)
Momchil Peychev, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Automated Classification of Model Errors on ImageNet. NeurIPS (2023)
Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Prompt Sketching for Large Language Models. CoRR (2023)
Mustafa Zeqiri, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Efficient Certified Training and Robustness Verification of Neural ODEs. ICLR (2023)
Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Understanding Certified Training with Interval Bound Propagation. CoRR (2023)
Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
Controlled Text Generation via Language Model Arithmetic. CoRR (2023)
Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
TAPS: Connecting Certified and Adversarial Training. CoRR (2023)
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
Prompting Is Programming: A Query Language for Large Language Models. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Mustafa Zeqiri, Mark Niklas Müller, Marc Fischer, Martin Vechev
Efficient Certified Training and Robustness Verification of Neural ODEs. CoRR (2023)
Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Connecting Certified and Adversarial Training. NeurIPS (2023)
Mark Niklas Müller, Marc Fischer, Robin Staab, Martin T. Vechev
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
(De-)Randomized Smoothing for Decision Stump Ensembles. CoRR (2022)
Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Boosting Randomized Smoothing with Variance Reduced Classifiers. ICLR (2022)
Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev
Shared Certificates for Neural Network Verification. CAV (1) (2022)
Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
(De-)Randomized Smoothing for Decision Stump Ensembles. NeurIPS (2022)
Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Robust and Accurate - Compositional Architectures for Randomized Smoothing. CoRR (2022)
Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev
Private and Reliable Neural Network Inference. CoRR (2022)
Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev
Private and Reliable Neural Network Inference. CCS (2022)
Mark Niklas Müller, Franziska Eckert, Marc Fischer, Martin T. Vechev
Certified Training: Small Boxes are All You Need. CoRR (2022)
Luca Beurer-Kellner, Marc Fischer, Martin Vechev
Prompting Is Programming: A Query Language For Large Language Models. CoRR (2022)
Christian Sprecher, Marc Fischer, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev
Shared Certificates for Neural Network Verification. CoRR (2021)
Marc Fischer, Maximilian Baader, Martin T. Vechev
Scalable Certified Segmentation via Randomized Smoothing. CoRR (2021)
Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Boosting Randomized Smoothing with Variance Reduced Classifiers. CoRR (2021)
Mark Niklas Müller, Robin Staab, Marc Fischer, Martin T. Vechev
Effective Certification of Monotone Deep Equilibrium Models. CoRR (2021)
Marc Fischer, Maximilian Baader, Martin T. Vechev
Scalable Certified Segmentation via Randomized Smoothing. ICML (2021)
Marc Fischer, Maximilian Baader, Martin T. Vechev
Certified Defense to Image Transformations via Randomized Smoothing. NeurIPS (2020)
Marc Fischer, Maximilian Baader, Martin T. Vechev
Certification of Semantic Perturbations via Randomized Smoothing. CoRR (2020)
Anian Ruoss, Mislav Balunovic, Marc Fischer, Martin T. Vechev
Learning Certified Individually Fair Representations. NeurIPS (2020)
Anian Ruoss, Mislav Balunovic, Marc Fischer, Martin T. Vechev
Learning Certified Individually Fair Representations. CoRR (2020)
Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev
DL2: Training and Querying Neural Networks with Logic. ICML (2019)
Marc Fischer, Matthew Mirman, Steven Stalder, Martin T. Vechev
Online Robustness Training for Deep Reinforcement Learning. CoRR (2019)
Pavol Bielik, Marc Fischer, Martin T. Vechev
Robust relational layout synthesis from examples for Android. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)