Post by @bmorphism • Hey

This but for Lean, please! **Autoformalization with Large Language Models** https://arxiv.org/abs/2205.12615