Marc Fischer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
9
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLR | Controlled Text Generation via Language Model Arithmetic. | Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev |
| 2024 | ICLR | Understanding Certified Training with Interval Bound Propagation. | Yuhao Mao, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2024 | ICML | Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation. | Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev |
| 2024 | ICML | Prompt Sketching for Large Language Models. | Luca Beurer-Kellner, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2023 | ICLR | Certified Training: Small Boxes are All You Need. | Mark Niklas Mller, Franziska Eckert, Marc Fischer, Martin T. Vechev |
| 2023 | ICLR | Efficient Certified Training and Robustness Verification of Neural ODEs. | Mustafa Zeqiri, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2023 | ISMAR | A Standalone Augmented Reality Tool for X-ray-like Vision: Harnessing Body Tracking and Sensor Capabilities of HoloLens 2. | Marc Fischer, Austin Hale, Abdul Mukit, Nicolas Schapeler, John Blickenstaff, Robin E. Cushing, Kristin H. Joltes, Gary P. Zientara, Christoph Leuze |
| 2023 | SC | The Graph Database Interface: Scaling Online Transactional and Analytical Graph Workloads to Hundreds of Thousands of Cores. | Maciej Besta, Robert Gerstenberger, Marc Fischer, Michal Podstawski, Nils Blach, Berke Egeli, George Mitenkov, Wojciech Chlapek, Marek T. Michalewicz, Hubert Niewiadomski, Jrgen Mller, Torsten Hoefler |
| 2022 | CAV | Shared Certificates for Neural Network Verification. | Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev |
| 2022 | CCS | Private and Reliable Neural Network Inference. | Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev |
| 2022 | ICLR | Boosting Randomized Smoothing with Variance Reduced Classifiers. | Mikls Z. Horvth, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2022 | SAFECOMP | Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer Calculations. | Marc Fischer, Oliver Riedel, Armin Lechler |
| 2021 | ICML | Scalable Certified Segmentation via Randomized Smoothing. | Marc Fischer, Maximilian Baader, Martin T. Vechev |
| 2020 | ISMAR | Evaluation of Different Visualization Techniques for Perception-Based Alignment in Medical AR. | Marc Fischer, Christoph Leuze, Stephanie L. Perkins, Jarrett Rosenberg, Bruce Daniel, Alejandro Martin-Gomez |
| 2019 | FPGA | Substream-Centric Maximum Matchings on FPGA. | Maciej Besta, Marc Fischer, Tal Ben-Nun, Johannes de Fine Licht, Torsten Hoefler |
| 2019 | ICML | DL2: Training and Querying Neural Networks with Logic. | Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev |
| 2018 | ICIP | Semantic Organ Segmentation in 3D Whole-Body MR Images. | Thomas Kstner, Sarah Mller, Marc Fischer, Jakob Wei, Konstantin Nikolaou, Fabian Bamberg, Bin Yang, Fritz Schick, Sergios Gatidis |