Auguste Poiroux
3 papers · 2025–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
EMNLP (2)
ACL (1)
Top co-authors
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)