Mikl\'os Z. Horv\'ath

Identifiers

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

Papers (2)

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

Mentions

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

Frequent Coauthors

• 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 Ferrauiolo 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
• Francisco J. R. Ruiz 1 shared papers
• Fred Zhang 1 shared papers
• George Tsoukalas 1 shared papers
• Gergely B\'erczi 1 shared papers
• Henryk Michalewski 1 shared papers
• Lei Yu 1 shared papers
• Matej Balog 1 shared papers