Cover Image

Lemmas: Generation, Selection, Application

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rawson, Michael, Wernhard, Christoph, Zombori, Zsolt, Bibel, Wolfgang
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures
by: Wernhard, Christoph, et al.
Published: (2025)

Partial Label Learning for Automated Theorem Proving
by: Zombori, Zsolt, et al.
Published: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
by: Buleshnyi, Mykhailo, et al.
Published: (2025)

Generating Theorems by Generating Proof Structures
by: Wernhard, Christoph
Published: (2026)

A Conjecture for ATP Research
by: Bibel, Wolfgang
Published: (2024)

When Agda met Vampire
by: Šinkarovs, Artjoms, et al.
Published: (2026)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
by: Wernhard, Christoph
Published: (2026)

Interpolation with Automated First-Order Reasoning
by: Wernhard, Christoph
Published: (2025)

Superposition with Delayed Unification
by: Bhayat, Ahmed, et al.
Published: (2024)

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

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
by: Alhessi, Yousef, et al.
Published: (2025)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
by: Heuer, Jan, et al.
Published: (2024)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
by: Benedikt, Michael, et al.
Published: (2022)

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

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

Efficient Neural Clause-Selection Reinforcement
by: Suda, Martin
Published: (2025)

Hybrid Answer Set Programming: Foundations and Applications
by: Rühling, Nicolas
Published: (2025)

Hybrid MKNF for Aeronautics Applications: Usage and Heuristics
by: Sheela, Arun Raveendran Nair, et al.
Published: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

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

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
by: Heyninck, Jesse
Published: (2024)

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
by: Gamboa, Ruben, et al.
Published: (2025)

Generalization-baed similarity
by: Antić, Christian
Published: (2023)

Interpolation in Classical Propositional Logic
by: Koopmann, Patrick, et al.
Published: (2025)

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

Logic Synthesis with Generative Deep Neural Networks
by: Li, Xihan, et al.
Published: (2024)

Multi-Property Synthesis
by: Weinhuber, Christoph, et al.
Published: (2026)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
by: Fandinno, Jorge, et al.
Published: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
by: Bartholomew, Michael, et al.
Published: (2025)

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

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

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
by: Xu, Yang, et al.
Published: (2025)

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