Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2503.03205
Cited By
MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
5 March 2025
Ruida Wang
Rui Pan
Yuxin Li
Jipeng Zhang
Yizhen Jia
Shizhe Diao
Renjie Pi
Junjie Hu
Tong Zhang
LRM
LLMAG
Re-assign community
ArXiv
PDF
HTML
Papers citing
"MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving"
1 / 1 papers shown
Title
Hierarchical Attention Generates Better Proofs
Jianlong Chen
Chao Li
Yang Yuan
Andrew Chi-Chih Yao
AIMat
LRM
26
0
0
27 Apr 2025
1
