Autoformalization is now very easy - Scott Armstrong

[latexpage] In the last six month, autoformalization of research-level mathematics has gone from possible to easy.

saved by

• Alex Wang