Consistent Autoformalization for Constructing Mathematical Libraries

5 October 2024

Papers citing "Consistent Autoformalization for Constructing Mathematical Libraries"

2 / 2 papers shown

Title
Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions Lan Zhang Marco Valentino André Freitas 49 0 0 17 Feb 2025
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data Xiaoyang Liu Kangjie Bao Jiashuo Zhang Yunqi Liu Yu Chen Yu Chen Yang Jiao Tao Luo AIMat 55 0 0 08 Feb 2025