Marc Fischer - RankMe

46 papers A* 16Journal 28Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	CommandSans: Securing AI Agents with Surgical Precision Prompt Sanitization. CoRR Debeshee Das, Luca Beurer-Kellner, Marc Fischer, Maximilian Baader
2025	J	`jnl`	Design Patterns for Securing LLM Agents against Prompt Injections. CoRR Luca Beurer-Kellner, Beat Buesser, Ana-Maria Cretu, Edoardo Debenedetti, Daniel Dobos, Daniel Fabian, Marc Fischer, David Froelicher, Kathrin Grosse, Daniel Naeff, Ezinwanne Ozoani, Andrew Paverd, Florian Tramèr, Václav Volhejn
2025	—	`—`	Extending Randomized Smoothing to New Application Domains. Marc Fischer
2025	J	`jnl`	Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations. Trans. Mach. Learn. Res. Stefan Balauca, Mark Niklas Müller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin T. Vechev
2024	J	`jnl`	AgentDojo: A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents. CoRR Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr
2024	A*	`conf`	AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents. NeurIPS Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr
2024	J	`jnl`	Automated Classification of Model Errors on ImageNet. CoRR Momchil Peychev, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2024	A*	`conf`	Controlled Text Generation via Language Model Arithmetic. ICLR Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
2024	J	`jnl`	Evading Data Contamination Detection for Language Models is (too) Easy. CoRR Jasper Dekoninck, Mark Niklas Müller, Maximilian Baader, Marc Fischer, Martin T. Vechev
2024	A*	`conf`	Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation. ICML Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
2024	J	`jnl`	Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation. CoRR Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
2024	J	`jnl`	Overcoming the Paradox of Certified Training with Gaussian Smoothing. CoRR Stefan Balauca, Mark Niklas Müller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin T. Vechev
2024	A*	`conf`	Prompt Sketching for Large Language Models. ICML Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2024	A*	`conf`	Understanding Certified Training with Interval Bound Propagation. ICLR Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2023	J	`jnl`	Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks. Proc. ACM Program. Lang. Mark Niklas Müller, Marc Fischer, Robin Staab, Martin T. Vechev
2023	A*	`conf`	Automated Classification of Model Errors on ImageNet. NeurIPS Momchil Peychev, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2023	A*	`conf`	Certified Training: Small Boxes are All You Need. ICLR Mark Niklas Müller, Franziska Eckert, Marc Fischer, Martin T. Vechev
2023	A*	`conf`	Connecting Certified and Adversarial Training. NeurIPS Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2023	J	`jnl`	Controlled Text Generation via Language Model Arithmetic. CoRR Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
2023	A*	`conf`	Efficient Certified Training and Robustness Verification of Neural ODEs. ICLR Mustafa Zeqiri, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2023	J	`jnl`	Efficient Certified Training and Robustness Verification of Neural ODEs. CoRR Mustafa Zeqiri, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2023	J	`jnl`	Prompt Sketching for Large Language Models. CoRR Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2023	J	`jnl`	Prompting Is Programming: A Query Language for Large Language Models. Proc. ACM Program. Lang. Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
2023	J	`jnl`	TAPS: Connecting Certified and Adversarial Training. CoRR Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2023	J	`jnl`	Understanding Certified Training with Interval Bound Propagation. CoRR Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2022	A*	`conf`	(De-)Randomized Smoothing for Decision Stump Ensembles. NeurIPS Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2022	J	`jnl`	(De-)Randomized Smoothing for Decision Stump Ensembles. CoRR Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2022	A*	`conf`	Boosting Randomized Smoothing with Variance Reduced Classifiers. ICLR Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2022	J	`jnl`	Certified Training: Small Boxes are All You Need. CoRR Mark Niklas Müller, Franziska Eckert, Marc Fischer, Martin T. Vechev
2022	A*	`conf`	Private and Reliable Neural Network Inference. CCS Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev
2022	J	`jnl`	Private and Reliable Neural Network Inference. CoRR Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev
2022	J	`jnl`	Prompting Is Programming: A Query Language For Large Language Models. CoRR Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
2022	J	`jnl`	Robust and Accurate - Compositional Architectures for Randomized Smoothing. CoRR Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2022	—	`conf`	Shared Certificates for Neural Network Verification. CAV (1) Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev
2021	J	`jnl`	Boosting Randomized Smoothing with Variance Reduced Classifiers. CoRR Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2021	J	`jnl`	Effective Certification of Monotone Deep Equilibrium Models. CoRR Mark Niklas Müller, Robin Staab, Marc Fischer, Martin T. Vechev
2021	A*	`conf`	Scalable Certified Segmentation via Randomized Smoothing. ICML Marc Fischer, Maximilian Baader, Martin T. Vechev
2021	J	`jnl`	Scalable Certified Segmentation via Randomized Smoothing. CoRR Marc Fischer, Maximilian Baader, Martin T. Vechev
2021	J	`jnl`	Shared Certificates for Neural Network Verification. CoRR Christian Sprecher, Marc Fischer, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev
2020	J	`jnl`	Certification of Semantic Perturbations via Randomized Smoothing. CoRR Marc Fischer, Maximilian Baader, Martin T. Vechev
2020	A*	`conf`	Certified Defense to Image Transformations via Randomized Smoothing. NeurIPS Marc Fischer, Maximilian Baader, Martin T. Vechev
2020	A*	`conf`	Learning Certified Individually Fair Representations. NeurIPS Anian Ruoss, Mislav Balunovic, Marc Fischer, Martin T. Vechev
2020	J	`jnl`	Learning Certified Individually Fair Representations. CoRR Anian Ruoss, Mislav Balunovic, Marc Fischer, Martin T. Vechev
2019	A*	`conf`	DL2: Training and Querying Neural Networks with Logic. ICML Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev
2019	J	`jnl`	Online Robustness Training for Deep Reinforcement Learning. CoRR Marc Fischer, Matthew Mirman, Steven Stalder, Martin T. Vechev
2018	J	`jnl`	Robust relational layout synthesis from examples for Android. Proc. ACM Program. Lang. Pavol Bielik, Marc Fischer, Martin T. Vechev