Scholar
Miklós Z. Horváth
Google Scholar ID: KGmeFloAAAAJ
Google DeepMind
Artificial Intelligence
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
82
H-index
2
i10-index
2
Publications
5
Co-authors
0
Publications
3 items
Advancing Mathematics Research with AI-Driven Formal Proof Search
2026
Cited
0
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
2026
Cited
0
SynthID-Image: Image watermarking at internet scale
2025
Cited
0
