Imagen de Portada

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cabral, Rafael, Do, Tuan Manh, Yu, Xuejun, Tai, Wai Ming, Feng, Zijin, Shen, Xin
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Translating Informal Proofs into Formal Proofs Using a Chain of States
por: Wang, Ziyu, et al.
Publicado: (2025)

Investigations into Proof Structures
por: Wernhard, Christoph, et al.
Publicado: (2023)

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
por: Yin, David, et al.
Publicado: (2025)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
por: Collinson, Matthew, et al.
Publicado: (2026)

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
por: Shen, Austin, et al.
Publicado: (2026)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
por: Gonzalez, Salwa Tabet, et al.
Publicado: (2024)

An Undecidability Proof for the Plan Existence Problem
por: Achilleos, Antonis
Publicado: (2026)

Large Language Model for OWL Proofs
por: Yang, Hui, et al.
Publicado: (2026)

Can Large Language Models Autoformalize Kinematics?
por: Kabra, Aditi, et al.
Publicado: (2025)

Autoformalizing Euclidean Geometry
por: Murphy, Logan, et al.
Publicado: (2024)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
por: Yoo, Harim
Publicado: (2025)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
por: Szeider, Stefan
Publicado: (2026)

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

Abstraction-Based Proof Production in Formal Verification of Neural Networks
por: Elboher, Yizhak Yisrael, et al.
Publicado: (2025)

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
por: Goertzel, Ben
Publicado: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
por: Arkoudas, Konstantine, et al.
Publicado: (2026)

StepProof: Step-by-step verification of natural language mathematical proofs
por: Hu, Xiaolin, et al.
Publicado: (2025)

Munkres' General Topology Autoformalized in Isabelle/HOL
por: Bryant, Dustin, et al.
Publicado: (2026)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
por: Han, Sangjun, et al.
Publicado: (2025)

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

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
por: Brown, Chad E., et al.
Publicado: (2026)

SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization
por: Su, Xiaole, et al.
Publicado: (2026)

Hierarchical Attention Generates Better Proofs
por: Chen, Jianlong, et al.
Publicado: (2025)

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

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
por: Kasaura, Kazumi, et al.
Publicado: (2025)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
por: Desmartin, Remi, et al.
Publicado: (2024)

Constructive Ethics Based on Proof - Layer 2: The Epistemic Overlay Reasoning Under Uncertainty in a Constructive Ethical System
por: Nymion
Publicado: (2025)

Constructive Ethics Based on Proof - Layer 2: The Epistemic Overlay Reasoning Under Uncertainty in a Constructive Ethical System
por: Nymion
Publicado: (2025)

MerLean: An Agentic Framework for Autoformalization in Quantum Computation
por: Ren, Yuanjie, et al.
Publicado: (2026)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
por: Urban, Josef
Publicado: (2026)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
por: Yousefzadeh, Roozbeh, et al.
Publicado: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
por: Abate, Alessandro
Publicado: (2025)

Can Proof Assistants Verify Multi-Agent Systems?
por: Mendez, Julian Alfredo, et al.
Publicado: (2025)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
por: Patel, Manooshree, et al.
Publicado: (2025)

Proofs that Modify Proofs, 1/2
por: Towsner, Henry
Publicado: (2025)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
por: Yanahama, Banri, et al.
Publicado: (2026)

Proofs that Modify Proofs
por: Towsner, Henry
Publicado: (2024)

RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
por: Kozyrev, Andrei, et al.
Publicado: (2026)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
por: Metere, Alfredo
Publicado: (2026)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
por: Gupte, Mihir, et al.
Publicado: (2025)