作者位次 #8/11NeurIPS 2026Poster
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
Moritz Firsching · Paul Lezeau · Salvatore Mercuri · Miklós Z. Horváth · Yaël Dillies · Calle Sönne · Eric Wieser · Fred Zhang · Thomas Hubert · Blaise Aguera y Arcas · Pushmeet Kohli