Maximilian Baader
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
5
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | Ward: Provable RAG Dataset Inference via LLM Watermarks. | Nikola Jovanovic, Robin Staab, Maximilian Baader, Martin T. Vechev |
| 2025 | ICLR | Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation. | Jasper Dekoninck, Maximilian Baader, Martin T. Vechev |
| 2025 | ICLR | GRAIN: Exact Graph Reconstruction from Gradients. | Maria Drencheva, Ivo Petrov, Maximilian Baader, Dimitar Iliev Dimitrov, Martin T. Vechev |
| 2025 | ICML | A Unified Approach to Routing and Cascading for LLMs. | Jasper Dekoninck, Maximilian Baader, Martin T. Vechev |
| 2025 | ICML | BaxBench: Can LLMs Generate Correct and Secure Backends? | Mark Vero, Niels Mndler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev |
| 2024 | ICLR | Expressivity of ReLU-Networks under Convex Relaxations. | Maximilian Baader, Mark Niklas Mller, Yuhao Mao, Martin T. Vechev |
| 2022 | ECCV | Latent Space Smoothing for Individually Fair Representations. | Momchil Peychev, Anian Ruoss, Mislav Balunovic, Maximilian Baader, Martin T. Vechev |
| 2021 | AAAI | Efficient Certification of Spatial Robustness. | Anian Ruoss, Maximilian Baader, Mislav Balunovic, Martin T. Vechev |
| 2021 | ICML | Scalable Certified Segmentation via Randomized Smoothing. | Marc Fischer, Maximilian Baader, Martin T. Vechev |
| 2021 | PLDI | Fast and precise certification of transformers. | Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev |
| 2020 | ICLR | Universal Approximation with Certified Networks. | Maximilian Baader, Matthew Mirman, Martin T. Vechev |
| 2020 | PLDI | Silq: a high-level quantum language with safe uncomputation and intuitive semantics. | Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev |