NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Reliable Evaluation and Benchmarks for Statement Autoformalization
Auguste Poiroux
|
Gail Weiss
|
Viktor KunĨak
|
Antoine Bosselut
|
Paper Details:
Month: November
Year: 2025
Location: Suzhou, China
Venue:
EMNLP |
Citations
URL
No Citations Yet
https://github.com/haruhisa-enomoto/mathlib4-
Field Of Study