Paul Lezeau

Identifiers

No identifiers captured yet.

Papers (1)

1. Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics cs.AI · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Blaise Ag\"uera y Arcas 1 shared papers
• Calle S\"onne 1 shared papers
• Eric Wieser 1 shared papers
• Fred Zhang 1 shared papers
• Mikl\'os Z. Horv\'ath 1 shared papers
• Moritz Firsching 1 shared papers
• Pushmeet Kohli 1 shared papers
• Salvatore Mercuri 1 shared papers
• Thomas Hubert 1 shared papers
• Ya\"el Dillies 1 shared papers