Copertina

Efficient Neural Clause-Selection Reinforcement

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Suda, Martin
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Regularization in Spider-Style Strategy Discovery and Schedule Construction
di: Bártek, Filip, et al.
Pubblicazione: (2024)

Lemmas: Generation, Selection, Application
di: Rawson, Michael, et al.
Pubblicazione: (2023)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
di: Hsu, Tzu-Han, et al.
Pubblicazione: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
di: Bankosegger, Rafael, et al.
Pubblicazione: (2026)

Efficient Certified Reasoning for Binarized Neural Networks
di: Yang, Jiong, et al.
Pubblicazione: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
di: Shea-Blymyer, Colin, et al.
Pubblicazione: (2024)

Categorical Construction of Logically Verifiable Neural Architectures
di: Nye, Logan
Pubblicazione: (2025)

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

Incremental Neural Network Verification via Learned Conflicts
di: Elsaleh, Raya, et al.
Pubblicazione: (2026)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
di: Aria, Hadi Partovi, et al.
Pubblicazione: (2026)

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

Neural Network Verification using Partial Multi-Neuron Relaxation
di: Shmuel, Ido, et al.
Pubblicazione: (2026)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
di: Liu, Chanjuan, et al.
Pubblicazione: (2024)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
di: Köhler, Dominik, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
di: Xiao, Shengping, et al.
Pubblicazione: (2024)

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

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
di: Hecher, Markus, et al.
Pubblicazione: (2024)

Common Knowledge Always, Forever
di: Diéguez, Martín, et al.
Pubblicazione: (2026)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
di: Balakrishnan, Anand, et al.
Pubblicazione: (2022)

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning
di: Basu, Kinjal, et al.
Pubblicazione: (2024)

A fuzzy loss for ontology classification
di: Flügel, Simon, et al.
Pubblicazione: (2024)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
di: El-Kholany, Mohammed M. S., et al.
Pubblicazione: (2022)

Streamliners for Answer Set Programming
di: Voboril, Florentina, et al.
Pubblicazione: (2026)

Proceedings 40th International Conference on Logic Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)

Towards Constraint Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Metric Dynamic Equilibrium Logic
di: Becker, Arvid, et al.
Pubblicazione: (2024)

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

Query Languages for Machine-Learning Models
di: Grohe, Martin
Pubblicazione: (2026)

Robust Shielding for Safe Reinforcement Learning
di: Court, Edwin Hamel-De le, et al.
Pubblicazione: (2026)