Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Ruida, Pan, Rui, Li, Yuxin, Zhang, Jipeng, Jia, Yizhen, Diao, Shizhe, Pi, Renjie, Hu, Junjie, Zhang, Tong
Formato:	Preprint
Publicado:	2025
Materias:	Computation and Language Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
por: Wang, Ruida, et al.
Publicado: (2024)

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
por: Wang, Ruida, et al.
Publicado: (2025)

LISA: Layerwise Importance Sampling for Memory-Efficient Large Language Model Fine-Tuning
por: Pan, Rui, et al.
Publicado: (2024)

FANS -- Formal Answer Selection for Natural Language Math Reasoning Using Lean4
por: Yao, Jiarui, et al.
Publicado: (2025)

Generalizable Geometric Image Caption Synthesis
por: Xin, Yue, et al.
Publicado: (2025)

The Instinctive Bias: Spurious Images lead to Illusion in MLLMs
por: Han, Tianyang, et al.
Publicado: (2024)

Adapt-Pruner: Adaptive Structural Pruning for Efficient Small Language Model Training
por: Pan, Rui, et al.
Publicado: (2025)

Automatic Prompt Augmentation and Selection with Chain-of-Thought from Labeled Data
por: Shum, KaShun, et al.
Publicado: (2023)

PhysProver: Advancing Automatic Theorem Proving for Physics
por: Zhang, Hanning, et al.
Publicado: (2026)

Active Prompting with Chain-of-Thought for Large Language Models
por: Diao, Shizhe, et al.
Publicado: (2023)

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
por: Wang, Ruida, et al.
Publicado: (2025)

Plum: Prompt Learning using Metaheuristic
por: Pan, Rui, et al.
Publicado: (2023)

LeanAgent: Lifelong Learning for Formal Theorem Proving
por: Kumarappan, Adarsh, et al.
Publicado: (2024)

Layer-of-Thoughts Prompting (LoT): Leveraging LLM-Based Retrieval with Constraint Hierarchies
por: Fungwacharakorn, Wachara, et al.
Publicado: (2024)

Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
por: Li, Yuxin, et al.
Publicado: (2025)

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
por: Tang, Xichen
Publicado: (2024)

Effective Bilevel Optimization via Minimax Reformulation
por: Wang, Xiaoyu, et al.
Publicado: (2023)

LongVideoAgent: Multi-Agent Reasoning with Long Videos
por: Liu, Runtao, et al.
Publicado: (2025)

Canonical for Automated Theorem Proving in Lean
por: Norman, Chase, et al.
Publicado: (2025)

Personalized Visual Instruction Tuning
por: Pi, Renjie, et al.
Publicado: (2024)

Image Textualization: An Automatic Framework for Creating Accurate and Detailed Image Descriptions
por: Pi, Renjie, et al.
Publicado: (2024)

TAGCOS: Task-agnostic Gradient Clustered Coreset Selection for Instruction Tuning Data
por: Zhang, Jipeng, et al.
Publicado: (2024)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
por: Zhang, Terry Jingchen, et al.
Publicado: (2025)

Distilling LLM Feedback for Lean Theorem Proving
por: Narozniak, Gaetan, et al.
Publicado: (2026)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
por: Song, Peiyang, et al.
Publicado: (2024)

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning
por: Ji, Xingguang, et al.
Publicado: (2025)

LMFlow: An Extensible Toolkit for Finetuning and Inference of Large Foundation Models
por: Diao, Shizhe, et al.
Publicado: (2023)

Steering LLMs for Formal Theorem Proving
por: Kirtania, Shashank, et al.
Publicado: (2025)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
por: Liu, Chengwu, et al.
Publicado: (2026)

VL-GenRM: Enhancing Vision-Language Verification via Vision Experts and Iterative Training
por: Zhang, Jipeng, et al.
Publicado: (2025)

Strengthening Multimodal Large Language Model with Bootstrapped Preference Optimization
por: Pi, Renjie, et al.
Publicado: (2024)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
por: Li, Jinzheng, et al.
Publicado: (2026)

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
por: Gao, Guoxiong, et al.
Publicado: (2026)

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
por: Onda, Naoto, et al.
Publicado: (2025)

What are the Right Symmetries for Formal Theorem Proving?
por: Olejniczak, Krzysztof, et al.
Publicado: (2026)

An In-Context Learning Agent for Formal Theorem-Proving
por: Thakur, Amitayush, et al.
Publicado: (2023)

Demystifying Long Chain-of-Thought Reasoning in LLMs
por: Yeo, Edward, et al.
Publicado: (2025)

MA-RAG: Multi-Agent Retrieval-Augmented Generation via Collaborative Chain-of-Thought Reasoning
por: Nguyen, Thang, et al.
Publicado: (2025)

OProver: A Unified Framework for Agentic Formal Theorem Proving
por: Ma, David, et al.
Publicado: (2026)

Bridge-Coder: Unlocking LLMs' Potential to Overcome Language Gaps in Low-Resource Code
por: Zhang, Jipeng, et al.
Publicado: (2024)