Balauca, Stefan

4 publications

ICML 2025 CTBench: A Library and Benchmark for Certified Training Yuhao Mao, Stefan Balauca, Martin Vechev

TMLR 2025 Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations Stefan Balauca, Mark Niklas Mueller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin Vechev

NeurIPS 2025 MixAT: Combining Continuous and Discrete Adversarial Training for LLMs Csaba Dékány, Stefan Balauca, Dimitar Iliev Dimitrov, Robin Staab, Martin Vechev

ICCV 2025 Understanding Museum Exhibits Using Vision-Language Reasoning Ada-Astrid Balauca, Sanjana Garai, Stefan Balauca, Rasesh Udayakumar Shetty, Naitik Agrawal, Dhwanil Subhashbhai Shah, Yuqian Fu, Xi Wang, Kristina Toutanova, Danda Pani Paudel, Luc Van Gool