Proof

Ask about this topic

Recent momentum

-90%

1 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Also in Formal Verification

Neighbouring directions

VerifierTheoremFormalizationFormal VerificationAutoformalization

44 papers

Latest in Proof

Open your feed →
CardsList

  1. Long-horizon autoformalization of a core theorem underlying MIP* = RE

    Sep 17, 2026Sirui Lu, Ruixuan Deng, Yanqiao Zhu +1AutoformalizationProof

  2. Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models

    Sep 14, 2026Edirlei Soares de Lima, Marco A. Casanova, Antonio L. FurtadoProofAnalogy

  3. An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics

    Sep 12, 2026Ivan Moshkov, Stephen Ge, George Armstrong +3Olympiad-Level ProblemProof

  4. CAPRI: Contract-Aware Proof Repair for Isabelle

    Aug 13, 2026Jim Woodcock, Gabriel Leite, Augusto Sampaio +1TheoremProof

  5. Structure-Preserving Uncertainty Propagation in First-Order Proof Search

    Aug 10, 2026Tanel TammetTheoremProof

  6. Soft Redaction of Image Provenance via Zero-Knowledge Proofs

    Aug 7, 2026Muhammad Awan, John CollomosseZero-Knowledge ProofsContent Provenance

  7. Can Open-Weight LLMs Produce Kernel-Verified Coq Proofs? A Pilot Study

    Aug 5, 2026Ahmed Ryan, Md Erfan, Akond Ashfaque Ur Rahman +1TheoremProof

  8. A Human Audit of OpenAIs AI-Generated Mathematical Proofs

    Aug 3, 2026Mikołaj Sienicki, Krzysztof SienickiProofMathematics

  9. A Fortran General-Purpose Transpiler: Proof of Concept

    Jul 31, 2026Shivamshan Sivanesan, Kazem ArdanehPytorchDifferentiable Programming

  10. BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints

    Jul 30, 2026Ruslan KhrulevTheoremProof

  11. Evidence-Ledger Adjudication for Claim-Evidence Traceability

    Jul 29, 2026Gengyu Chen, Yongjie Yu, Weiling WangAdjudicationProof

  12. Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB

    Jul 23, 2026Katharina Engels, Jan Gruteser, Michael LeuschelTheoremProof

  13. Circuit Claims Depend on What Is Extracted and How It Is Compared

    Jul 21, 2026Yang Sheng, Jie FuCircuitsAblation

  14. Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory

    Jul 19, 2026Antonio Acuaviva, Pablo AcuavivaMathematicsProof

  15. PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs

    Jul 18, 2026Neel SomaniProofTheorem

  16. AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language

    Jul 17, 2026Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang +4TheoremProof

  17. Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control

    Jul 16, 2026Jek Huang, Jeffery Hsia, Jiayi Sun +3LifecycleVerifier

  18. Proofs of Ownership for Machine Learning Models

    Jun 29, 2026Ran Canetti, Shafi Goldwasser, Or ZamirZero-Knowledge ProofsProof

  19. A Machine-Verified Proof of a Quantum-Optimization Conjecture

    Jun 29, 2026Uri Kol, Maor Ben-Shahar, Kfir Sulimany +1Quantum Approximate Optimization AlgorithmProof

  20. Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings

    Jun 26, 2026Rodrigo Mendoza-SmithProofAxiom

  21. VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving

    Jun 17, 2026Manish Acharya, Zhenyu Liao, Yueke Zhang +3TheoremProof

  22. First Proof Second Batch

    Jun 16, 2026Mohammed Abouzaid, Nikhil Srivastava, Rachel Ward +1MathematicsProof

  23. Evaluating the Robustness of Proof Autoformalization in Lean 4

    Jun 12, 2026Zhengtao Gui, Sheng Yang, Zhouxing ShiAutoformalizationTheorem

  24. Multi-Modal Multi-Agent Robotic Cognitive Alignment enabled by Non-Invasive Consumer Brain Computer Interfaces: A Proof of Concept Exploration

    Jun 11, 2026Nataliya Kosmyna, Liz Jenkins, Anoop K. SinhaMulti-Agent SystemsHuman-Robot Interaction

  25. ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics

    Jun 9, 2026Shunkai Zhang, Haoran Zhang, Yun Luo +15Olympiad-Level ProblemCombinations

  26. (Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs

    Jun 8, 2026Wesley PegdenAutoformalizationProof

  27. Interactions Between Crosscoder Features: A Compact Proofs Perspective

    Jun 8, 2026Dmitry Manning-Coe, Thomas Read, Anna Soligo +4Unsupervised Dictionary LearningEncoding Models

  28. Characterizing initial human-AI proof formalization workflows

    Jun 2, 2026Katherine M. Collins, Simon Frieder, Jonas Bayer +14AutoformalizationFormalization

  29. Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts

    Jun 2, 2026Yiming Fu, Peixuan Liu, Zichen Wang +1TheoremProof

  30. Real-rootedness of the Poincaré polynomials of \overline{\mathcal M}_{0,n}: an AI-assisted proof

    May 27, 2026Gergely Bérczi, Young-Hoon KiemProofRecurrence

  31. Lower Bounds for Advection-Diffusion Equations: An Exploration with AI-Generated Proofs

    May 20, 2026Chenyang An, Xiaoqian XuAdvection-Reaction-DiffusionLower Bounds

  32. Pseudo-Formalization for Automatic Proof Verification

    May 19, 2026Slim Barkallah, Luke Bailey, Kaiyue Wen +2ProofFormalization

  33. Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem

    May 19, 2026Gabriel Rongyang LauTheoremProof

  34. From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates

    May 14, 2026Ruobing Zuo, Hanrui Zhao, Gaolei He +2TheoremProof

  35. Orthologic for SAT Solving

    May 14, 2026Vladislas de Haldat, Simon Guilloud, Viktor KunčakSatisfiabilityPropositions

  36. Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness

    May 11, 2026Ivo Petrov, Jasper Dekoninck, Dimitar I. Dimitrov +1Mathematical ReasoningProof

  37. From Articles to Premises: Building PrimeFacts, an Extraction Methodology and Resource for Fact-Checking Evidence

    May 7, 2026Premtim Sahitaj, Jawan Kolanowski, Ariana Sahitaj +7Fact-CheckingCitations

  38. A Review of the Receiver Operating Characteristic Curve and a Proof About the Area Beneath It

    Apr 30, 2026Steven RedolfiArea Under The Receiver Operating Characteristic CurveProbability

  39. Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence

    Apr 30, 2026Alan L. McCannFormal SemanticsRuntime Enforcement

  40. Benchmarking Testing in Automated Theorem Proving

    Apr 26, 2026Jongyoon Kim, Hojae Han, Seung-won HwangTheoremProof

  41. Proof of Execution: Runtime Verification for Governed AI Agent Actions

    Apr 26, 2026James Rhodes, George KangCanonical Action Verification And AttestationRuntime Enforcement

  42. Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1

    Apr 19, 2026Alexandre LinharesTheoremProof

  43. Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4

    Feb 21, 2026Leni Aniva, Iori Oikawa, David Dill +1TheoremProof

  44. ProofVerifier: A Scalable, Diversity-Driven Framework for Natural-Language Proof Verification

    Feb 2, 2026Haotong Yang, Zitong Wang, Shijia Kang +7ProofReinforcement Learning With Verifiable Reward