Miklós Z. Horváth

1. Advancing Mathematics Research with AI-Driven Formal Proof Search
   2026/05/21 by George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18 · 21 voices · 7 citations
   Computer Science · #cs.AI
2. Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
   2026/05/13 by Moritz Firsching, Paul Lezeau, Salvatore Mercuri +8 · 1 voice · 1 citation
   Computer Science · #cs.AI