Results for "autoformalization"

A New Open Source Dataset Aims to Solve AI's Math Reasoning Gap

Researchers at MIT and Columbia University released ATLAS, a dataset of 320,000 autoformalized mathematical statements for training AI reasoning systems.