Buchumschlag

Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Vincent, Knappe, Tim, Fu, Yule, Han, Kevin, Zhu, Kevin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Benchmarking Testing in Automated Theorem Proving
von: Kim, Jongyoon, et al.
Veröffentlicht: (2026)

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

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

Semantic Self-Consistency: Enhancing Language Model Reasoning via Semantic Weighting
von: Knappe, Tim, et al.
Veröffentlicht: (2024)

Automated Theorem Proving for Prolog Verification
von: Mesnard, Fred, et al.
Veröffentlicht: (2026)

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

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
von: Quan, Xin, et al.
Veröffentlicht: (2024)

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

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
von: Chen, Luoxin, 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)

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
von: Qiu, Ruichen, et al.
Veröffentlicht: (2026)

A Theorem-Proving-Based Evaluation of Neural Semantic Parsing
von: Funakura, Hayate, et al.
Veröffentlicht: (2025)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
von: Li, Jinzheng, et al.
Veröffentlicht: (2026)

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

miniCTX: Neural Theorem Proving with (Long-)Contexts
von: Hu, Jiewen, et al.
Veröffentlicht: (2024)

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

The Art of Scaling Test-Time Compute for Large Language Models
von: Agarwal, Aradhye, et al.
Veröffentlicht: (2025)

From Width-Based Model Checking to Width-Based Automated Theorem Proving
von: Oliveira, Mateus de Oliveira, et al.
Veröffentlicht: (2022)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
von: Vieira, Tim
Veröffentlicht: (2026)

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

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

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

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
von: Xin, Yutong, et al.
Veröffentlicht: (2025)

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
von: Zhou, Xinyuan, et al.
Veröffentlicht: (2025)

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

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

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
von: Wu, Zijian, et al.
Veröffentlicht: (2024)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
von: Cao, Chuxue, et al.
Veröffentlicht: (2025)

Sleep-time Compute: Beyond Inference Scaling at Test-time
von: Lin, Kevin, et al.
Veröffentlicht: (2025)

Inverse Scaling in Test-Time Compute
von: Gema, Aryo Pradipta, et al.
Veröffentlicht: (2025)

Provable Scaling Laws for the Test-Time Compute of Large Language Models
von: Chen, Yanxi, et al.
Veröffentlicht: (2024)

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

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

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
von: Tang, Xichen
Veröffentlicht: (2024)

Natural Language Processing and Multimodal Stock Price Prediction
von: Taylor, Kevin, et al.
Veröffentlicht: (2024)

Forest-of-Thought: Scaling Test-Time Compute for Enhancing LLM Reasoning
von: Bi, Zhenni, et al.
Veröffentlicht: (2024)

NusaMT-7B: Machine Translation for Low-Resource Indonesian Languages with Large Language Models
von: Tan, William, et al.
Veröffentlicht: (2024)

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
von: Chen, Jiangjie, et al.
Veröffentlicht: (2025)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
von: Lin, Xiaohan, et al.
Veröffentlicht: (2024)

GraphInsight: Unlocking Insights in Large Language Models for Graph Structure Understanding
von: Cao, Yukun, et al.
Veröffentlicht: (2024)