An Evaluation Benchmark for Autoformalization in Lean4

Open Webpage

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

Published: 01 Jan 2024, Last Modified: 04 Aug 2025Tiny Papers @ ICLR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0