Our Department started initiative on Autoformalization with Language Models

29 Oct 2025

The work reviews diverse instances of autoformalization with language models and proposes a unified framework that fosters collaboration across research areas.