Research author

Miklós Z. Horváth

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Miklós Z. Horváth

May 21, 2026
cs.AI

Advancing Mathematics Research with AI-Driven Formal Proof Search

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, et al.

Miklós Z. Horváth — AI Research Papers | One9Founders