Copertina

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Qiu, Ruichen, Cao, Yichuan, Liu, Junqi, Guo, Dakai, Gao, Xiao-Shan, Zhi, Lihong, Feng, Ruyong
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Benchmarking Testing in Automated Theorem Proving
di: Kim, Jongyoon, et al.
Pubblicazione: (2026)

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

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

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
di: Liu, Qi, et al.
Pubblicazione: (2025)

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

Automated Theorem Proving for Prolog Verification
di: Mesnard, Fred, et al.
Pubblicazione: (2026)

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

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

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

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
di: Xin, Yutong, et al.
Pubblicazione: (2025)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
di: Lin, Xiaohan, et al.
Pubblicazione: (2024)

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
di: Zhou, Xinyuan, et al.
Pubblicazione: (2025)

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

Hilbert's Irreducibility Theorem for Linear Differential Operators
di: Feng, Ruyong, et al.
Pubblicazione: (2024)

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

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
di: Rao, Balaji, et al.
Pubblicazione: (2025)

Formalizing Gröbner Basis Theory in Lean
di: Guo, Junyu, et al.
Pubblicazione: (2026)

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

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

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

A Formal Proof of the Irrationality of $ζ(3)$ in Lean 4
di: Liu, Junqi, et al.
Pubblicazione: (2025)

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

Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving
di: Li, Vincent, et al.
Pubblicazione: (2025)

Automated Tactics for Polynomial Reasoning in Lean 4
di: Shen, Hao, et al.
Pubblicazione: (2026)

MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
di: Wang, Ruida, et al.
Pubblicazione: (2025)

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

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
di: Zhao, Haoyu, et al.
Pubblicazione: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
di: Zhao, Jianhong, et al.
Pubblicazione: (2025)

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
di: Rajaee, Sara, et al.
Pubblicazione: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
di: Cao, Chuxue, et al.
Pubblicazione: (2025)

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

A Survey on Unlearning in Large Language Models
di: Qiu, Ruichen, et al.
Pubblicazione: (2025)

HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
di: Li, Yang, et al.
Pubblicazione: (2024)

A Theorem-Proving-Based Evaluation of Neural Semantic Parsing
di: Funakura, Hayate, et al.
Pubblicazione: (2025)

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

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

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
di: Wu, Zijian, et al.
Pubblicazione: (2024)

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

From Width-Based Model Checking to Width-Based Automated Theorem Proving
di: Oliveira, Mateus de Oliveira, et al.
Pubblicazione: (2022)

miniCTX: Neural Theorem Proving with (Long-)Contexts
di: Hu, Jiewen, et al.
Pubblicazione: (2024)