Buchumschlag

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Xu, Shuo, Zhang, Jiakun, Lai, Junyu, Cao, Chun, Xu, Jingwei
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
von: Lai, Junyu, et al.
Veröffentlicht: (2025)

Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines
von: Lai, Junyu, et al.
Veröffentlicht: (2024)

Psychometric-Based Evaluation for Theorem Proving with Large Language Models
von: Zhang, Jianyu, et al.
Veröffentlicht: (2025)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
von: Zhang, Ziyin, et al.
Veröffentlicht: (2025)

Distilling LLM Feedback for Lean Theorem Proving
von: Narozniak, Gaetan, et al.
Veröffentlicht: (2026)

MeteoRA: Multiple-tasks Embedded LoRA for Large Language Models
von: Xu, Jingwei, et al.
Veröffentlicht: (2024)

A Survey on Deep Learning for Theorem Proving
von: Li, Zhaoyu, et al.
Veröffentlicht: (2024)

Proving Theorems Recursively
von: Wang, Haiming, et al.
Veröffentlicht: (2024)

Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
von: Zhang, Yuchen, et al.
Veröffentlicht: (2025)

RLMEval: Evaluating Research-Level Neural Theorem Proving
von: Poiroux, Auguste, et al.
Veröffentlicht: (2025)

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
von: Cao, Chenrui, et al.
Veröffentlicht: (2025)

Mathesis: Towards Formal Theorem Proving from Natural Languages
von: Xuejun, Yu, et al.
Veröffentlicht: (2025)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
von: Quan, Xin, et al.
Veröffentlicht: (2025)

Partial Label Learning for Automated Theorem Proving
von: Zombori, Zsolt, et al.
Veröffentlicht: (2025)

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
von: Wang, Ruida, et al.
Veröffentlicht: (2025)

From Layers to Submodules: Rethinking Granularity in Replacement-Based LLM Compression
von: Cunegatti, Elia, et al.
Veröffentlicht: (2026)

UnSAMv2: Self-Supervised Learning Enables Segment Anything at Any Granularity
von: Yu, Junwei, et al.
Veröffentlicht: (2025)

A Minimal Agent for Automated Theorem Proving
von: Requena, Borja, et al.
Veröffentlicht: (2026)

Learning to Reason with Insight for Informal Theorem Proving
von: Li, Yunhe, et al.
Veröffentlicht: (2026)

PhysProver: Advancing Automatic Theorem Proving for Physics
von: Zhang, Hanning, et al.
Veröffentlicht: (2026)

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
von: Xin, Ran, et al.
Veröffentlicht: (2025)

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
von: Xiong, Beibei, et al.
Veröffentlicht: (2025)

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

CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization
von: Shi, Shuming, et al.
Veröffentlicht: (2025)

Twitch: Learning Abstractions for Equational Theorem Proving
von: Axelrod, Guy, et al.
Veröffentlicht: (2026)

Aristotle: IMO-level Automated Theorem Proving
von: Achim, Tudor, et al.
Veröffentlicht: (2025)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
von: Hu, Jilin, et al.
Veröffentlicht: (2025)

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

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
von: Dong, Kefan, et al.
Veröffentlicht: (2025)

LeanAgent: Lifelong Learning for Formal Theorem Proving
von: Kumarappan, Adarsh, et al.
Veröffentlicht: (2024)

An In-Context Learning Agent for Formal Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2023)

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
von: Wu, Shaonan, et al.
Veröffentlicht: (2024)

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
von: Onda, Naoto, et al.
Veröffentlicht: (2025)

Steering LLMs for Formal Theorem Proving
von: Kirtania, Shashank, et al.
Veröffentlicht: (2025)

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
von: Gao, Guoxiong, et al.
Veröffentlicht: (2026)

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
von: Li, Mukai, et al.
Veröffentlicht: (2025)

OProver: A Unified Framework for Agentic Formal Theorem Proving
von: Ma, David, et al.
Veröffentlicht: (2026)

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
von: Zheng, Chuanyang, et al.
Veröffentlicht: (2023)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
von: Chen, Luoxin, et al.
Veröffentlicht: (2025)

GS-FUSE: Granger-Supervised Gated Fusion and Multi-Granularity Alignment for Event-Driven Financial Forecasting
von: Zhang, Yang, et al.
Veröffentlicht: (2026)