Herald: A Natural Language Annotated Lean 4 Dataset

9 October 2024

Yutong Wang

Papers citing "Herald: A Natural Language Annotated Lean 4 Dataset"

2 / 2 papers shown

Title
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data Xiaoyang Liu Kangjie Bao Jiashuo Zhang Yunqi Liu Yu Chen Yuntian Liu Yang Jiao Tao Luo AIMat 45 0 0 08 Feb 2025
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 74 20 0 20 Dec 2024