Cover Image

ProofCompass: Enhancing Specialized Provers with LLM Guidance

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wischermann, Nicolas, Verdun, Claudio Mayrink, Poesia, Gabriel, Noseda, Francesco
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Soft Best-of-n Sampling for Model Alignment
by: Verdun, Claudio Mayrink, et al.
Published: (2025)

The Token Games: Evaluating Language Model Reasoning with Puzzle Duels
by: Henniger, Simon, et al.
Published: (2026)

Temporal Sparse Autoencoders: Leveraging the Sequential Nature of Language for Interpretability
by: Bhalla, Usha, et al.
Published: (2025)

Multi-Group Proportional Representation for Text-to-Image Models
by: Jung, Sangwon, et al.
Published: (2025)

Optimized Couplings for Watermarking Large Language Models
by: Tsur, Dor, et al.
Published: (2025)

Proof Recommendation System for the HOL4 Theorem Prover
by: Dekhil, Nour, et al.
Published: (2024)

Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
by: Baba, Kaito, et al.
Published: (2025)

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

dafny-annotator: AI-Assisted Verification of Dafny Programs
by: Poesia, Gabriel, et al.
Published: (2024)

When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions
by: Li, Zhening, et al.
Published: (2024)

From Next-Token to Mathematics: The Learning Dynamics of Mathematical Reasoning in Language Models
by: Mishra, Shubhra, et al.
Published: (2024)

AI Alignment at Your Discretion
by: Buyl, Maarten, et al.
Published: (2025)

Measuring Progress in Dictionary Learning for Language Model Interpretability with Board Game Models
by: Karvonen, Adam, et al.
Published: (2024)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
by: Li, Zenan, et al.
Published: (2026)

Vibe Coding an LLM-powered Theorem Prover
by: Hou, Zhe
Published: (2026)

HeavyWater and SimplexWater: Distortion-Free LLM Watermarks for Low-Entropy Next-Token Predictions
by: Tsur, Dor, et al.
Published: (2025)

Learning Formal Mathematics From Intrinsic Motivation
by: Poesia, Gabriel, et al.
Published: (2024)

Multi-Group Proportional Representation in Retrieval
by: Oesterling, Alex, et al.
Published: (2024)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
by: Ahuja, Riyaz, et al.
Published: (2026)

Towards Automated Readable Proofs of Ruler and Compass Constructions
by: Marinković, Vesna, et al.
Published: (2024)

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

Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies
by: McGinness, Lachlan, et al.
Published: (2024)

Leanabell-Prover: Posttraining Scaling in Formal Reasoning
by: Zhang, Jingyuan, et al.
Published: (2025)

Theorem Prover as a Judge for Synthetic Data Generation
by: Leang, Joshua Ong Jun, et al.
Published: (2025)

Mitigating Legibility Tax with Decoupled Prover-Verifier Games
by: Kim, Yegon, et al.
Published: (2026)

Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
by: Xin, Ran, et al.
Published: (2025)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
by: Shen, Ziju, et al.
Published: (2025)

Learning to Rank the Initial Branching Order of SAT Solvers
by: Eriksson, Arvid, et al.
Published: (2026)

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

Code-enabled language models can outperform reasoning models on diverse tasks
by: Zhang, Cedegao E., et al.
Published: (2025)

Clarifying Before Reasoning: A Coq Prover with Structural Context
by: Lu, Yanzhen, et al.
Published: (2025)

StepFun-Prover Preview: Let's Think and Verify Step by Step
by: Shang, Shijie, et al.
Published: (2025)

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

Compass: Navigating Global Marine Lead Data Integration through Expert-Guided LLM Agent
by: Liu, Yiming, et al.
Published: (2026)

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
by: Wang, Haiming, et al.
Published: (2025)

Avoiding Obfuscation with Prover-Estimator Debate
by: Brown-Cohen, Jonah, et al.
Published: (2025)

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

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
by: Liang, Zhenwen, et al.
Published: (2025)

Inference-Time Diversity in RL-Trained Lean Theorem Provers: A Diagnostic Study
by: Burton, Zachary
Published: (2026)

Hypothesis Search: Inductive Reasoning with Language Models
by: Wang, Ruocheng, et al.
Published: (2023)