An Evaluation Benchmark for Autoformalization
Published in ICLR 2024, 2024
Recommended citation: Aryan Gulati, Devanshu Ladsaria, Shubhra Mishra, Jasdeep Sidhu, Brando Miranda. (2024). "An Evaluation Benchmark for Autoformalization." ICLR.
Download Paper