Auguste Poiroux

Identifiers

No identifiers captured yet.

Papers (2)

1. A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 math.MG · 2026 · author #6
2. Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning cs.AI · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Antoine Bosselut 1 shared papers
• Bhavik Mehta 1 shared papers
• Christopher Birkbeck 1 shared papers
• Ho Kiu Gareth Ma 1 shared papers
• Kyuhee Kim 1 shared papers
• Maryna Viazovska 1 shared papers
• Seewoo Lee 1 shared papers
• Sidharth Hariharan 1 shared papers