LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN
prover

LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover

24 July 2024

Dahua Lin

ArXiv (abs)PDF HTML

Papers citing "LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover"

5 / 5 papers shown

Title
STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework Wenhao Liu Zhenyi Lu Xinyu Hu Jierui Zhang Dailin Li ... Pei Zhang Chengbo Zhang Yuxiang Ren Xiaohong Huang Yan Ma OffRL 64 1 0 02 Jun 2025
Leanabell-Prover: Posttraining Scaling in Formal Reasoning Jingyuan Zhang Qi Wang Xingguang Ji Yang Liu Yang Yue Fuzheng Zhang Di Zhang Guorui Zhou Kun Gai LRM 103 7 0 08 Apr 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 110 2 0 08 Feb 2025
Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation Shaonan Wu Shuai Lu Yeyun Gong Nan Duan Ping Wei AIMat 100 1 0 21 Oct 2024
LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting Problems Nan Xu Xuezhe Ma LRM 160 5 0 18 Oct 2024