Skip to content
conftrace_
2025 ICML ICML 2025

MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built.

Authors

Ruida WANG, Rui Pan, Yuxin Li, Jipeng Zhang, Yizhen Jia, SHIZHE DIAO, Renjie Pi, Junjie Hu, Tong Zhang

Topics

Machine Learning > Learning Types > Transfer Learning Artificial Intelligence > Core AI > Large Language Models Artificial Intelligence > Core AI > Reasoning

Keywords

model collaboration large language model formal theorem proving lean 4 chain-of-thoughts llms
Download PDF