Stefan Balauca

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Gaussian Smoothing

Top Venues

Publications

Stefan Balauca, Mark Niklas Müller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin T. Vechev
Overcoming the Paradox of Certified Training with Gaussian Smoothing. CoRR (2024)
Yuhao Mao, Stefan Balauca, Martin T. Vechev
CTBENCH: A Library and Benchmark for Certified Training. CoRR (2024)
Stefan Balauca, Andreea Arusoaie
Efficient Constructions for Simulating Multi Controlled Quantum Gates. ICCS (4) (2022)