@misc{indiciaebad6f4acba89,
  title = {Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics},
  author = {Moritz Firsching and Paul Lezeau and Salvatore Mercuri and Miklós Z. Horváth and Yaël Dillies and Calle Sönne and Eric Wieser and Fred Zhang and Thomas Hubert and Blaise Agüera y Arcas and Pushmeet Kohli},
  year = {2026},
  url = {https://arxiv.org/abs/2605.13171},
  note = {Source identifier: 2605.13171}
}