Mikl\'os Z. Horv\'ath

Identifiers

No identifiers captured yet.

Papers (1)

1. Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics cs.AI · 2026 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Blaise Ag\"uera y Arcas 1 shared papers
• Calle S\"onne 1 shared papers
• Eric Wieser 1 shared papers
• Fred Zhang 1 shared papers
• Moritz Firsching 1 shared papers
• Paul Lezeau 1 shared papers
• Pushmeet Kohli 1 shared papers
• Salvatore Mercuri 1 shared papers
• Thomas Hubert 1 shared papers
• Ya\"el Dillies 1 shared papers