Copertina

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Han, Sangjun, Hur, Taeil, Hur, Youngmi, Lee, Kathy Sangkyung, Lee, Myungyoon, Lim, Hyojae
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

New Tight Wavelet Frame Constructions Sharing Responsibility
di: Hur, Youngmi, et al.
Pubblicazione: (2024)

Provable wavelet-based neural approximation
di: Hur, Youngmi, et al.
Pubblicazione: (2025)

Detail Loss in Super-Resolution Models Based on the Laplacian Pyramid and Repeated Upscaling and Downscaling Process
di: Han, Sangjun, et al.
Pubblicazione: (2026)

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

Can ChatGPT support software verification?
di: Janßen, Christian, et al.
Pubblicazione: (2023)

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

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

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

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

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
di: Wirth, Claus-Peter
Pubblicazione: (2011)

Rethinking Explanations: Formalizing Contrast in Description Logics
di: Mahmood, Yasir, et al.
Pubblicazione: (2026)

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

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

Formally Certified Approximate Model Counting
di: Tan, Yong Kiam, et al.
Pubblicazione: (2024)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
di: Rao, Balaji, et al.
Pubblicazione: (2025)

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

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

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

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
di: Cabral, Rafael, et al.
Pubblicazione: (2025)

Investigations into Proof Structures
di: Wernhard, Christoph, et al.
Pubblicazione: (2023)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
di: Prudhomme, Tim, et al.
Pubblicazione: (2024)

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
di: Bouke, Mohamed Aly
Pubblicazione: (2025)

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

Formally Explaining Decision Tree Models with Answer Set Programming
di: Takemura, Akihiro, et al.
Pubblicazione: (2026)

Weighted Rules under the Stable Model Semantics
di: Lee, Joohyung, et al.
Pubblicazione: (2026)

An Undecidability Proof for the Plan Existence Problem
di: Achilleos, Antonis
Pubblicazione: (2026)

On Formally Undecidable Traits of Intelligent Machines
di: Fox, Matthew
Pubblicazione: (2024)

Rational Inference in Formal Concept Analysis
di: Carr, Lucas, et al.
Pubblicazione: (2025)

Formally Verified Approximate Policy Iteration
di: Schäffeler, Maximilian, et al.
Pubblicazione: (2024)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
di: Foldvik, Simon
Pubblicazione: (2026)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
di: Florath, Andreas
Pubblicazione: (2024)

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

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

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

Formally Verified Certification of Unsolvability of Temporal Planning Problems
di: Wang, David, et al.
Pubblicazione: (2025)

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

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
di: Olson, Taylor
Pubblicazione: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)