Buchumschlag

StepProof: Step-by-step verification of natural language mathematical proofs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hu, Xiaolin, Zhou, Qinghua, Grechuk, Bogdan, Tyukin, Ivan Y.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
von: Kirtania, Shashank, et al.
Veröffentlicht: (2024)

Translating Informal Proofs into Formal Proofs Using a Chain of States
von: Wang, Ziyu, et al.
Veröffentlicht: (2025)

A SAT-based approach to rigorous verification of Bayesian networks
von: Stępka, Ignacy, et al.
Veröffentlicht: (2024)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
von: Cabral, Rafael, et al.
Veröffentlicht: (2025)

Investigations into Proof Structures
von: Wernhard, Christoph, et al.
Veröffentlicht: (2023)

An Undecidability Proof for the Plan Existence Problem
von: Achilleos, Antonis
Veröffentlicht: (2026)

Large Language Model for OWL Proofs
von: Yang, Hui, et al.
Veröffentlicht: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
von: Szeider, Stefan
Veröffentlicht: (2026)

Proof Recommendation System for the HOL4 Theorem Prover
von: Dekhil, Nour, et al.
Veröffentlicht: (2024)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

Next Steps in LLM-Supported Java Verification
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
von: Yin, David, et al.
Veröffentlicht: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
von: Arkoudas, Konstantine, et al.
Veröffentlicht: (2026)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
von: Li, Fangjun, et al.
Veröffentlicht: (2024)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
von: Shen, Austin, et al.
Veröffentlicht: (2026)

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

An action language-based formalisation of an abstract argumentation framework
von: Munro, Yann, et al.
Veröffentlicht: (2024)

A first-order logic characterization of safety and co-safety languages
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2022)

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
von: Bao, Qiming, et al.
Veröffentlicht: (2022)

Automatically discovering heuristics in a complex SAT solver with large language models
von: Sun, Yiwen, et al.
Veröffentlicht: (2025)

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

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
von: Caminati, Marco B.
Veröffentlicht: (2024)

CoqPilot, a plugin for LLM-based generation of proofs
von: Kozyrev, Andrei, et al.
Veröffentlicht: (2024)

Extending Defeasibility for Propositional Standpoint Logics
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
von: Keyi, Hu
Veröffentlicht: (2025)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
von: Kasaura, Kazumi, et al.
Veröffentlicht: (2025)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
von: Desmartin, Remi, et al.
Veröffentlicht: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

OSVAuto: automatic proofs about functional specifications in OS verification
von: Wu, Yulun, et al.
Veröffentlicht: (2024)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
von: Patel, Manooshree, et al.
Veröffentlicht: (2025)

Hierarchical Attention Generates Better Proofs
von: Chen, Jianlong, et al.
Veröffentlicht: (2025)