Auguste Poiroux

According to our database, Auguste Poiroux authored at least 7 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8.

Sidharth Hariharan, Christopher Birkbeck, Seewoo Lee, Ho Kiu Gareth Ma, Bhavik Mehta, Auguste Poiroux, Maryna Viazovska

CoRR, April, 2026

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning.

Kyuhee Kim, Auguste Poiroux, Antoine Bosselut

CoRR, April, 2026

SorryDB: Can AI Provers Complete Real-World Lean Theorems?

Austin Letson, Leopoldo Sarra, Auguste Poiroux, Oliver Dressler, Paul Lezeau, Dhyan Aranha, Frederick Pu, Aaron Hill, Miguel Corredera Hidalgo, Julian Berman, George Tsoukalas, Lenny Taelman

CoRR, March, 2026

2025

Reliable Evaluation and Benchmarks for Statement Autoformalization.

Auguste Poiroux, Gail Weiss, Viktor Kuncak, Antoine Bosselut

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

RLMEval: Evaluating Research-Level Neural Theorem Proving.

Auguste Poiroux, Antoine Bosselut, Viktor Kuncak

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2025, 2025

Interoperability of Proof Systems with SC-TPTP.

Simon Guilloud, Julie Cailler, Sankalp Gambhir, Auguste Poiroux, Yann Herklotz, Thomas Bourgeat, Viktor Kuncak

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Improving Autoformalization using Type Checking.

Auguste Poiroux, Gail Weiss, Viktor Kuncak, Antoine Bosselut

CoRR, 2024