Miklós Z. Horváth

According to our database, Miklós Z. Horváth authored at least 6 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Advancing Mathematics Research with AI-Driven Formal Proof Search.

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina, Moritz Firsching, Gergely Bérczi, Francisco J. R. Ruiz, Arun Suggala, Adam Zsolt Wagner, Eric Wieser, Lei Yu, Aja Huang, Miklós Z. Horváth, Andrew Ferrauiolo, Henryk Michalewski, Codrut Grosu, Thomas Hubert, Matej Balog, Pushmeet Kohli, Swarat Chaudhuri

CoRR, May, 2026

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics.

Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Miklós Z. Horváth, Yaël Dillies, Calle Sönne, Eric Wieser, Fred Zhang, Thomas Hubert, Blaise Agüera y Arcas, Pushmeet Kohli

CoRR, May, 2026

2025

SynthID-Image: Image watermarking at internet scale.

Sven Gowal, Rudy Bunel, Florian Stimberg, David Stutz, Guillermo Ortiz-Jiménez, Christina Kouridi, Mel Vecerík, Jamie Hayes, Sylvestre-Alvise Rebuffi, Paul Bernard, Chris Gamble, Miklós Z. Horváth, Fabian Kaczmarczyck, Alex Kaskasoli, Aleksandar Petrov, Ilia Shumailov, Meghana Thotakuri, Olivia Wiles, Jessica Yung, Zahra Ahmed, Victor Martin, Simon Rosen, Christopher Savcak, Armin Senoner, Nidhi Vyas, Pushmeet Kohli

CoRR, October, 2025

2022

Robust and Accurate - Compositional Architectures for Randomized Smoothing.

Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev

CoRR, 2022

(De-)Randomized Smoothing for Decision Stump Ensembles.

Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Boosting Randomized Smoothing with Variance Reduced Classifiers.

Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin T. Vechev

Proceedings of the Tenth International Conference on Learning Representations, 2022