Mikl\'os Z. Horv\'ath

Identifiers

• name variant Mikl\'os Z. Horv\'ath 0.60 · backfill

Papers (5)

1. Advancing Mathematics Research with AI-Driven Formal Proof Search cs.AI · 2026 · author #13
2. Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics cs.AI · 2026 · author #4
3. (De-)Randomized Smoothing for Decision Stump Ensembles cs.LG · 2022 · author #1
4. Robust and Accurate -- Compositional Architectures for Randomized Smoothing cs.LG · 2022 · author #1
5. Boosting Randomized Smoothing with Variance Reduced Classifiers cs.LG · 2021 · author #1

Mentions

• 2205.13909 #1 · arxiv_oai · confidence 0.70 Mikl\'os Z. Horv\'ath
• 2204.00487 #1 · arxiv_oai · confidence 0.70 Mikl\'os Z. Horv\'ath
• 2106.06946 #1 · arxiv_oai · confidence 0.70 Mikl\'os Z. Horv\'ath
• 2605.22763 #13 · arxiv_oai · confidence 0.70 Mikl\'os Z. Horv\'ath

Frequent Coauthors

• Marc Fischer 3 shared papers
• Mark Niklas M\"uller 3 shared papers
• Martin Vechev 3 shared papers
• Eric Wieser 2 shared papers
• Moritz Firsching 2 shared papers
• Pushmeet Kohli 2 shared papers
• Thomas Hubert 2 shared papers
• Adam Zsolt Wagner 1 shared papers
• Aja Huang 1 shared papers
• Andrew Ferraiuolo 1 shared papers
• Anja Surina 1 shared papers
• Anton Kovsharov 1 shared papers
• Arun Suggala 1 shared papers
• Blaise Ag\"uera y Arcas 1 shared papers
• Calle S\"onne 1 shared papers
• Codrut Grosu 1 shared papers
• Edward Lockhart 1 shared papers
• Francisco J. R. Ruiz 1 shared papers
• Fred Zhang 1 shared papers
• George Tsoukalas 1 shared papers