:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Letson, Austin, Sarra, Leopoldo, Poiroux, Auguste, Dressler, Oliver, Lezeau, Paul, Aranha, Dhyan, Pu, Frederick, Hill, Aaron, Hidalgo, Miguel Corredera, Berman, Julian, Tsoukalas, George, Taelman, Lenny
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Machine Learning
Online Access:	https://arxiv.org/abs/2603.02668
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

The chow weight structure for geometric motives of quotient stacks
by: Aranha, Dhyan, et al.
Published: (2023)

Deformations and Lifts of Calabi-Yau Varieties in Characteristic $p$
by: Brantner, Lukas, et al.
Published: (2024)

Teaching "Foundations of Mathematics" with the Lean Theorem Prover
by: Bottoni, Mattia Luciano, et al.
Published: (2025)

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
by: Kim, Kyuhee, et al.
Published: (2026)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
by: Qian, Yicheng, et al.
Published: (2025)

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

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
by: Tsoukalas, George, et al.
Published: (2024)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
by: Pusceddu, Daniele, et al.
Published: (2024)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
by: Li, Jinzheng, et al.
Published: (2026)

Reliable Evaluation and Benchmarks for Statement Autoformalization
by: Poiroux, Auguste, et al.
Published: (2024)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
by: Tang, Xichen
Published: (2025)

Los conflictos entre Ética, Moral y Política: criterios para su negociación
by: Silverio Sánchez Corredera
Published: (2003)

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

Shaping the Future of Mathematics in the Age of AI
by: Commelin, Johan, et al.
Published: (2026)

Virtual localization revisited
by: Aranha, Dhyan, et al.
Published: (2022)

The stacky concentration theorem
by: Aranha, Dhyan, et al.
Published: (2024)

SOFTWARE PARA FACILITAR EL TRATAMIENTO DE LA ÉTICA MARTIANA EN LA ENSEÑANZA TÉCNICA Y PROFESIONAL
by: Alain Rey Márquez Corredera
Published: (2007)

Reinforcement learning with learned gadgets to tackle hard quantum problems on real hardware
by: Kundu, Akash, et al.
Published: (2024)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
by: Klaus, Natalia, et al.
Published: (2026)

Land Surface Temperature Dynamics during COVID‐19 Lockdown in Diverse Climatic and Physiographic Zones—A Study of Indian Mega Cities
by: Ashish Mishra, et al.
Published: (2024)

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

Theorem Provers: One Size Fits All?
by: Oates, Harrison, et al.
Published: (2025)

LeanGeo: Formalizing Competitional Geometry problems in Lean
by: Song, Chendong, et al.
Published: (2025)

CFP-MCFP: Machine-Verified Proofs of Riemann Hypothesis, Goldbach, Yang-Mills, Fermat, Beal, Collatz — Lean 4 Theorem Prover
by: Salden, Alfons H.
Published: (2026)

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
by: Shallit, Jeffrey
Published: (2023)

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

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

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

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2025)

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

Joint Embeddings Go Temporal
by: Ennadir, Sofiane, et al.
Published: (2025)

Progress in Formalizing Sphere Packing in Dimension 8
by: Hariharan, Sidharth, et al.
Published: (2026)

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

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
by: Li, Guchan, et al.
Published: (2026)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
by: Zhang, Manqing, et al.
Published: (2026)

Building Uncommon Community with a Common Book: The Role of Librarians as Collaborators and Contributors to Campus Reading Programs
by: Boff, Colleen, et al.
Published: (2005)

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
by: Jin, Xiangyu, et al.
Published: (2024)

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