Reliable Evaluation and Benchmarks for Statement Autoformalization.

Auguste Poiroux, Gail Weiss, Viktor Kuncak, Antoine Bosselut

Browse the full EMNLP paper archive.