An Evaluation Benchmark for Autoformalization in Lean4.

Jasdeep Sidhu, Shubhra Mishra, Aryan Gulati, Devanshu Ladsaria, Brando Miranda

Browse the full ICLR paper archive.