Auguste Poiroux

Identifiers

• name variant Auguste Poiroux 0.60 · backfill

Papers (2)

1. Progress in Formalizing Sphere Packing in Dimension 8 math.MG · 2026 · author #6
2. Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning cs.AI · 2026 · author #2

Mentions

• 2604.23468 #6 · arxiv_oai · confidence 0.70 Auguste Poiroux

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