:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Han, Sangjun, Hur, Taeil, Hur, Youngmi, Lee, Kathy Sangkyung, Lee, Myungyoon, Lim, Hyojae
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	https://arxiv.org/abs/2502.03321
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Investigations into Proof Structures
by: Wernhard, Christoph, et al.
Published: (2023)

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

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

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

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

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

An Undecidability Proof for the Plan Existence Problem
by: Achilleos, Antonis
Published: (2026)

On Formally Undecidable Traits of Intelligent Machines
by: Fox, Matthew
Published: (2024)

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

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

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

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

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

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

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

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

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
by: Thakur, Amitayush, et al.
Published: (2025)

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

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

Hierarchical Attention Generates Better Proofs
by: Chen, Jianlong, et al.
Published: (2025)