TY  - RPRT
TI  - Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
AU  - Moritz Firsching
AU  - Paul Lezeau
AU  - Salvatore Mercuri
AU  - Miklós Z. Horváth
AU  - Yaël Dillies
AU  - Calle Sönne
AU  - Eric Wieser
AU  - Fred Zhang
AU  - Thomas Hubert
AU  - Blaise Agüera y Arcas
AU  - Pushmeet Kohli
PY  - 2026
UR  - https://arxiv.org/abs/2605.13171
ID  - 2605.13171
ER  -