Cite
Notes
Only stored in your browser.
Attribution
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
arXiv 2025
Mathesis: Towards Formal Theorem Proving from Natural Languages
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems
arXiv 2024
from 3 papers
Austen Jeremy Sugiarto
Azim Ospanov
Claudia Beth Ong
Dongcai Lu
Farzan Farnia
Haoxiong Liu
Huan Cao
Jiacheng Sun
Jianyuan Zhong
Jing Xiong