1 paper
William Feng, Ethan Lou, Aryan Sharma
Lean 4 autoformalization has become increasingly popular in recent years, with frontier language models and open-weight autoformalizers now producing valid formalizations of mathem…