Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2407.17227
Cited By
LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover
24 July 2024
Zijian Wu
Jiayu Wang
Dahua Lin
Kai-xiang Chen
Re-assign community
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
1