arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Auguste Poiroux"" — arXiv2 Search
Showing 1–6 of 6 results
/ Date
/ Name
Oct 29, 2025
RLMEval: Evaluating Research-Level Neural Theorem Proving
Jun 11, 2024
Reliable Evaluation and Benchmarks for Statement Autoformalization
Apr 25, 2026
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
Apr 21, 2026
Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
Mar 3, 2026
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
Sep 17, 2025
Apertus: Democratizing Open and Compliant LLMs for Global Language Environments