Efficient Constructions for Simulating Multi Controlled Quantum Gates. - Stefan Balauca; Andreea Arusoaie (ICCS (4), 2022)

Overcoming the Paradox of Certified Training with Gaussian Smoothing. - Stefan Balauca; Mark Niklas Müller; Yuhao Mao; Maximilian Baader; Marc Fischer 002; Martin T. Vechev (CoRR, 2024)

CTBENCH: A Library and Benchmark for Certified Training. - Yuhao Mao; Stefan Balauca; Martin T. Vechev (CoRR, 2024)

Understanding the World's Museums through Vision-Language Reasoning. - Ada-Astrid Balauca; Sanjana Garai; Stefan Balauca; Rasesh Udayakumar Shetty; Naitik Agrawal; Dhwanil Subhashbhai Shah; Yuqian Fu; Xi Wang 021; Kristina Toutanova; Danda Pani Paudel; Luc Van Gool (CoRR, 2024)

Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations. - Stefan Balauca; Mark Niklas Müller; Yuhao Mao; Maximilian Baader; Marc Fischer 002; Martin T. Vechev (Trans. Mach. Learn. Res., 2025)

MixAT: Combining Continuous and Discrete Adversarial Training for LLMs. - Csaba Dékány; Stefan Balauca; Robin Staab; Dimitar I. Dimitrov; Martin T. Vechev (CoRR, 2025)