1 paper · 1 filter
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…