:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Subramanian, Vignesh, Kushwah, Rohit, Roy, Subhajit, Bansal, Suguman
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2406.03651
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Decoupled Behavioral Cloning for Scalable Inductive Generalization in RL from Specifications
di: Subramanian, Vignesh, et al.
Pubblicazione: (2026)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
di: Meli, Daniele, et al.
Pubblicazione: (2024)

Certificate-Guided Evaluation of Reinforcement Learning Generalization
di: Subramanian, Vignesh, et al.
Pubblicazione: (2026)

Temporal Inductive Logic Reasoning over Hypergraphs
di: Yang, Yuan, et al.
Pubblicazione: (2022)

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

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
di: Johnson, Blair, et al.
Pubblicazione: (2025)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
di: Aljaafari, Nura, et al.
Pubblicazione: (2026)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
di: Gilda, Sankalp, et al.
Pubblicazione: (2026)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
di: Sharifi, Iman, et al.
Pubblicazione: (2026)

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

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
di: Luo, Ziyan, et al.
Pubblicazione: (2023)

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

Expressive Temporal Specifications for Reward Monitoring
di: Adalat, Omar, et al.
Pubblicazione: (2025)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
di: Wooding, Ben, et al.
Pubblicazione: (2026)

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

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
di: Mehimeh, Soumia
Pubblicazione: (2025)

Transformers Can Learn Connectivity in Some Graphs but Not Others
di: Roy, Amit, et al.
Pubblicazione: (2025)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
di: Daggitt, Matthew L., et al.
Pubblicazione: (2024)

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

Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
di: Basu, Sanjay, et al.
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)

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

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

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
di: He, Yunjie, 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)

Munkres' General Topology Autoformalized in Isabelle/HOL
di: Bryant, Dustin, et al.
Pubblicazione: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
di: Izza, Yacine, et al.
Pubblicazione: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
di: Upreti, Nijesh, et al.
Pubblicazione: (2026)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
di: Rothkopf, Raven, et al.
Pubblicazione: (2024)

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

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

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
di: Bavikadi, Divyagna, et al.
Pubblicazione: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
di: Pati, Viresh, et al.
Pubblicazione: (2026)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
di: Dasgupta, Sopam, et al.
Pubblicazione: (2025)

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)

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

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