:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Mehimeh, Soumia
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Machine Learning Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2508.09277
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
di: Zhang, Yani, et al.
Pubblicazione: (2024)

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

Inductive Generalization in Reinforcement Learning from Specifications
di: Subramanian, Vignesh, et al.
Pubblicazione: (2024)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
di: Pal, Koyena, et al.
Pubblicazione: (2026)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
di: Brorholt, Asger Horn, et al.
Pubblicazione: (2024)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
di: Li, Augustus Haoyang
Pubblicazione: (2026)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
di: Li, Chunxiao, et al.
Pubblicazione: (2024)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
di: Xin, Huajian, et al.
Pubblicazione: (2024)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
di: Olivieri, Pierriccardo, et al.
Pubblicazione: (2026)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
di: Boetius, David, et al.
Pubblicazione: (2026)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
di: Zhang, Maifang, et al.
Pubblicazione: (2026)

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

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
di: He, Yunjie, et al.
Pubblicazione: (2024)

Meta Operator for Complex Query Answering on Knowledge Graphs
di: Yin, Hang, et al.
Pubblicazione: (2024)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
di: Bizzaro, Davide, et al.
Pubblicazione: (2025)

A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines
di: Kinateder, Calvin
Pubblicazione: (2025)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
di: DeLong, Lauren Nicole, et al.
Pubblicazione: (2023)

Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
di: Basu, Sanjay, et al.
Pubblicazione: (2025)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
di: Zhapa-Camacho, Fernando, et al.
Pubblicazione: (2025)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
di: So, Oswin, et al.
Pubblicazione: (2026)

Reasoning Inconsistencies and How to Mitigate Them in Deep Learning
di: Arakelyan, Erik
Pubblicazione: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
di: Bonnah, Ernest, et al.
Pubblicazione: (2025)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
di: Zhao, Yanxiao, et al.
Pubblicazione: (2025)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
di: Ciatto, Giovanni, et al.
Pubblicazione: (2025)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
di: Sharifi, Iman, et al.
Pubblicazione: (2023)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
di: König, Matthias, et al.
Pubblicazione: (2024)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
di: Yin, Hang, et al.
Pubblicazione: (2023)

Learning to Solve and Optimize by Evolving Code
di: Semmelrock, Veronika, et al.
Pubblicazione: (2026)

Machine Learning for Quantifier Selection in cvc5
di: Jakubův, Jan, et al.
Pubblicazione: (2024)

SATformer: Transformer-Based UNSAT Core Learning
di: Shi, Zhengyuan, et al.
Pubblicazione: (2022)

Learning big logical rules by joining small rules
di: Hocquette, Céline, et al.
Pubblicazione: (2024)

Can Transformers Learn to Verify During Backtracking Search?
di: Phua, Yin Jun, et al.
Pubblicazione: (2026)

Learning Explainable and Better Performing Representations of POMDP Strategies
di: Bork, Alexander, et al.
Pubblicazione: (2024)

Learning Concepts Definable in First-Order Logic with Counting
di: van Bergerem, Steffen
Pubblicazione: (2019)

Inference of Abstraction for a Unified Account of Reasoning and Learning
di: Kido, Hiroyuki
Pubblicazione: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
di: Kumarappan, Adarsh, et al.
Pubblicazione: (2024)

Compact Rule-Based Classifier Learning via Gradient Descent
di: Fumanal-Idocin, Javier, et al.
Pubblicazione: (2025)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
di: De Angelis, Emanuele, et al.
Pubblicazione: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
di: He, Haoyuan, et al.
Pubblicazione: (2022)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
di: Soroka, Emi, et al.
Pubblicazione: (2024)