Auguste Poiroux

3 papers · 2025–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (10) 👥 Mega-Team · Civilization

Venues

EMNLP (2) ACL (1)

Top co-authors

Antoine Bosselut (3) Viktor Kunčak (2) Ido Hakimi (1) Alexander Miserlis Hoyle (1) Camille Challier (1) Mukhammadali Sayfiddinov (1) David Rosenthal (1) Thomas C. Schulthess (1) Kumar Shridhar (1) Ivan Pavlov (1)

Research topics

Artificial Intelligence (3) Core AI (3) Machine Learning (2) Natural Language Processing (2) Optimization & Theory (2) Applications (1) Learning Types (1) Resources & Methods (1)

Keywords

large language model (2) formal mathematics (1) formal language (1) evaluation metric (1) neural theorem proving (1) multilingual language model (1) responsible artificial intelligence (1) proof autoformalization (1) lean formalization (1) data compliance (1) benchmark evaluation (1) goldfish objective (1)

Papers

Apertus: Democratizing Open and Compliant LLMs for Global Language Environments ACL 2026 Reliable Evaluation and Benchmarks for Statement Autoformalization EMNLP 2025 RLMEval: Evaluating Research-Level Neural Theorem Proving EMNLP 2025