Cite
Notes
Only stored in your browser.
Attribution
MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
arXiv 2025
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
arXiv 2024
from 2 papers
Jipeng Zhang
Renjie Pi
Rui Pan
Ruida Wang
Shizhe Diao
Tong Zhang
Junjie Hu
Yuxin Li