Cover Image

Large Language Model for OWL Proofs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yang, Hui, Chen, Jiaoyan, Sattler, Uli
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
by: Qureshi, Haya Majid, et al.
Published: (2024)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
by: Ileri, Atalay Mert, et al.
Published: (2024)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
by: Qureshi, Haya Majid, et al.
Published: (2025)

Dual Box Embeddings for the Description Logic EL++
by: Jackermeier, Mathias, et al.
Published: (2023)

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

TransBox: EL++-closed Ontology Embedding
by: Yang, Hui, et al.
Published: (2024)

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

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

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

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
by: Zang, Zhengqing, et al.
Published: (2026)

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

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

Laurel: Unblocking Automated Verification with Large Language Models
by: Mugnier, Eric, et al.
Published: (2024)

Large Language Models for Interpretable Mental Health Diagnosis
by: Kim, Brian Hyeongseok, et al.
Published: (2025)

Enriching Ontologies with Disjointness Axioms using Large Language Models
by: Crum, Elias, et al.
Published: (2024)

Large Language Models Imitate Logical Reasoning, but at what Cost?
by: McGinness, Lachlan, et al.
Published: (2025)

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)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
by: Khalil, Khurram, et al.
Published: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)

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

Why Cannot Large Language Models Ever Make True Correct Reasoning?
by: Cheng, Jingde
Published: (2025)

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

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

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

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

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

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Generics and Default Reasoning in Large Language Models
by: Kirkpatrick, James Ravi, et al.
Published: (2025)

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

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
by: Song, Peiyang, et al.
Published: (2024)

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

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
by: Wang, Keyu, et al.
Published: (2024)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
by: Świechowski, Maciej, et al.
Published: (2026)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
by: Liu, Yinhong, et al.
Published: (2024)

DeepOnto: A Python Package for Ontology Engineering with Deep Learning
by: He, Yuan, et al.
Published: (2023)

Towards Projected and Incremental Pseudo-Boolean Model Counting
by: Yang, Suwei, et al.
Published: (2024)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
by: Ferrando, Angelo
Published: (2025)

Query Languages for Machine-Learning Models
by: Grohe, Martin
Published: (2026)

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