Marc Fischer

Orcid: 0000-0002-4157-1235

Affiliations:

ETH Zürich, Department of Computer Science, Switzerland

According to our database¹, Marc Fischer authored at least 28 papers between 2018 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

AgentDojo: A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents.

[BibT_eX]

[DOI]

CoRR, 2024

Overcoming the Paradox of Certified Training with Gaussian Smoothing.

[BibT_eX]

[DOI]

CoRR, 2024

Evading Data Contamination Detection for Language Models is (too) Easy.

[BibT_eX]

[DOI]

CoRR, 2024

Prompt Sketching for Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation.

[BibT_eX]

[DOI]

Luca Beurer-Kellner

Marc Fischer

Martin T. Vechev

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Understanding Certified Training with Interval Bound Propagation.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Controlled Text Generation via Language Model Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks - Artifact.

[BibT_eX]

[DOI]

Dataset, June, 2023

Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2023

Prompting Is Programming: A Query Language for Large Language Models.

[BibT_eX]

[DOI]

Luca Beurer-Kellner

Marc Fischer

Martin T. Vechev

Proc. ACM Program. Lang., 2023

TAPS: Connecting Certified and Adversarial Training.

[BibT_eX]

[DOI]

CoRR, 2023

Automated Classification of Model Errors on ImageNet.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Connecting Certified and Adversarial Training.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Efficient Certified Training and Robustness Verification of Neural ODEs.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Certified Training: Small Boxes are All You Need.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

Robust and Accurate - Compositional Architectures for Randomized Smoothing.

[BibT_eX]

[DOI]

CoRR, 2022

(De-)Randomized Smoothing for Decision Stump Ensembles.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Boosting Randomized Smoothing with Variance Reduced Classifiers.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Private and Reliable Neural Network Inference.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Shared Certificates for Neural Network Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Effective Certification of Monotone Deep Equilibrium Models.

[BibT_eX]

[DOI]

CoRR, 2021

Scalable Certified Segmentation via Randomized Smoothing.

[BibT_eX]

[DOI]

Marc Fischer

Maximilian Baader

Martin T. Vechev

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Certification of Semantic Perturbations via Randomized Smoothing.

[BibT_eX]

[DOI]

Marc Fischer

Maximilian Baader

Martin T. Vechev

CoRR, 2020

Learning Certified Individually Fair Representations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Certified Defense to Image Transformations via Randomized Smoothing.

[BibT_eX]

[DOI]

Marc Fischer

Maximilian Baader

Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Online Robustness Training for Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2019

DL2: Training and Querying Neural Networks with Logic.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Machine Learning, 2019

2018

Robust relational layout synthesis from examples for Android.

[BibT_eX]

[DOI]

Pavol Bielik

Marc Fischer

Martin T. Vechev

Proc. ACM Program. Lang., 2018

Marc Fischer

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...