"au:"Auguste Poiroux"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Auguste Poiroux"" — arXiv2 Search

Showing 1–6 of 6 results

/ Date/ Name

Oct 29, 2025RLMEval: Evaluating Research-Level Neural Theorem Proving Jun 11, 2024Reliable Evaluation and Benchmarks for Statement Autoformalization Apr 25, 2026A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 Apr 21, 2026Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning Mar 3, 2026SorryDB: Can AI Provers Complete Real-World Lean Theorems?Sep 17, 2025Apertus: Democratizing Open and Compliant LLMs for Global Language Environments