Publications

• Olympiad-level formal mathematical reasoning with reinforcement learning
  Thomas Hubert, Rishi Mehta, Laurent Sartran, Miklós Z. Horváth, Goran Žužić, Eric Wieser, Aja Huang, Julian Schrittwieser, Yannick Schroecker, Hussain Masoom, Ottavia Bertolli, Tom Zahavy, Amol Mandhane, Jessica Yung, Iuliya Beloshapka, Borja Ibarz, Vivek Veeriah, Lei Yu, Oliver Nash, Paul Lezeau, Salvatore Mercuri, Calle Sönne, Bhavik Mehta, Alex Davies, Daniel Zheng, Fabian Pedregosa, Yin Li, Ingrid von Glehn, Mark Rowland, Samuel Albanie, Ameya Velingker, Simon Schmitt, Edward Lockhart, Edward Hughes, Henryk Michalewski, Nicolas Sonnerat, Demis Hassabis, Pushmeet Kohli, David Silver
  Nature
  Nature Blog
• SynthID-Image: Image watermarking at internet scale
  Sven Gowal, Rudy Bunel, Florian Stimberg, David Stutz, Guillermo Ortiz-Jimenez, Christina Kouridi, Mel Vecerik, 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 Savčak, Armin Senoner, Nidhi Vyas, Pushmeet Kohli
  Technical Report 2025
  arXiv Blog
• (De-)Randomized Smoothing for Decision Stump Ensembles
  Miklós Z. Horváth*, Mark Niklas Müller*, Marc Fischer, Martin Vechev
  NeurIPS 2022
  arXiv Code Video
• Robust and Accurate -- Compositional Architectures for Randomized Smoothing
  Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin Vechev
  ICLR 2022 Workshop on Socially Responsible Machine Learning
  arXiv Code
• Boosting Randomized Smoothing with Variance Reduced Classifiers
  Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin Vechev
  ICLR 2022 (Spotlight)
  arXiv Code Video Blog