Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Xu, Shuo, Zhang, Jiakun, Lai, Junyu, Cao, Chun, Xu, Jingwei
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
di: Lai, Junyu, et al.
Pubblicazione: (2025)

Psychometric-Based Evaluation for Theorem Proving with Large Language Models
di: Zhang, Jianyu, et al.
Pubblicazione: (2025)

Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines
di: Lai, Junyu, et al.
Pubblicazione: (2024)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
di: Zhang, Ziyin, et al.
Pubblicazione: (2025)

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

MeteoRA: Multiple-tasks Embedded LoRA for Large Language Models
di: Xu, Jingwei, et al.
Pubblicazione: (2024)

A Survey on Deep Learning for Theorem Proving
di: Li, Zhaoyu, et al.
Pubblicazione: (2024)

Proving Theorems Recursively
di: Wang, Haiming, et al.
Pubblicazione: (2024)

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

RLMEval: Evaluating Research-Level Neural Theorem Proving
di: Poiroux, Auguste, et al.
Pubblicazione: (2025)

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
di: Cao, Chenrui, et al.
Pubblicazione: (2025)

Mathesis: Towards Formal Theorem Proving from Natural Languages
di: Xuejun, Yu, et al.
Pubblicazione: (2025)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
di: Quan, Xin, et al.
Pubblicazione: (2025)

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

Partial Label Learning for Automated Theorem Proving
di: Zombori, Zsolt, et al.
Pubblicazione: (2025)

From Layers to Submodules: Rethinking Granularity in Replacement-Based LLM Compression
di: Cunegatti, Elia, et al.
Pubblicazione: (2026)

UnSAMv2: Self-Supervised Learning Enables Segment Anything at Any Granularity
di: Yu, Junwei, et al.
Pubblicazione: (2025)

A Minimal Agent for Automated Theorem Proving
di: Requena, Borja, et al.
Pubblicazione: (2026)

Learning to Reason with Insight for Informal Theorem Proving
di: Li, Yunhe, et al.
Pubblicazione: (2026)

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

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

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
di: Xiong, Beibei, et al.
Pubblicazione: (2025)

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

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

Twitch: Learning Abstractions for Equational Theorem Proving
di: Axelrod, Guy, et al.
Pubblicazione: (2026)

Aristotle: IMO-level Automated Theorem Proving
di: Achim, Tudor, et al.
Pubblicazione: (2025)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
di: Hu, Jilin, et al.
Pubblicazione: (2025)

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

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
di: Dong, Kefan, et al.
Pubblicazione: (2025)

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

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

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
di: Wu, Shaonan, et al.
Pubblicazione: (2024)

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

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

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

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
di: Li, Mukai, et al.
Pubblicazione: (2025)

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

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
di: Zheng, Chuanyang, et al.
Pubblicazione: (2023)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
di: Chen, Luoxin, et al.
Pubblicazione: (2025)

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