Copertina

Predicate Renaming via Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gentili, Elisabetta, Ribeiro, Tony, Riguzzi, Fabrizio, Inoue, Katsumi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Symbolic Parameter Learning in Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting
di: Riguzzi, Fabrizio
Pubblicazione: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

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

Differentiable Logic Programming for Distant Supervision
di: Takemura, Akihiro, et al.
Pubblicazione: (2024)

Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
di: Takemura, Akihiro, et al.
Pubblicazione: (2024)

Integrating Belief Domains into Probabilistic Logic Programs
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
di: Zese, Riccardo, et al.
Pubblicazione: (2023)

Multi-Agent Coordinated Rename Refactoring
di: Bellur, Abhiram, et al.
Pubblicazione: (2026)

Neural Decision-Propagation for Answer Set Programming
di: Eiter, Thomas, et al.
Pubblicazione: (2026)

Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
di: Takemura, Akihiro, et al.
Pubblicazione: (2026)

Formally Explaining Decision Tree Models with Answer Set Programming
di: Takemura, Akihiro, et al.
Pubblicazione: (2026)

Variable Assignment Invariant Neural Networks for Learning Logic Programs
di: Phua, Yin Jun, et al.
Pubblicazione: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
di: Haufe, Cedric, et al.
Pubblicazione: (2026)

Towards end-to-end ASP computation
di: Sato, Taisuke, et al.
Pubblicazione: (2023)

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

ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models
di: Merler, Matteo, et al.
Pubblicazione: (2025)

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
di: Sugimori, Irumi, et al.
Pubblicazione: (2024)

Visual Perceptual to Conceptual First-Order Rule Learning Networks
di: Gao, Kun, et al.
Pubblicazione: (2026)

Inference of Abstraction for Grounded Predicate Logic
di: Kido, Hiroyuki
Pubblicazione: (2025)

Generalisation Through Negation and Predicate Invention
di: Cerna, David M., et al.
Pubblicazione: (2023)

Leveraging Large Language Models for Causal Discovery: a Constraint-based, Argumentation-driven Approach
di: Li, Zihao, et al.
Pubblicazione: (2026)

Combining Constraint Programming Reasoning with Large Language Model Predictions
di: Régin, Florian, et al.
Pubblicazione: (2024)

Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications
di: Awuklu, Yvon K., et al.
Pubblicazione: (2026)

EXPIL: Explanatory Predicate Invention for Learning in Games
di: Sha, Jingyuan, et al.
Pubblicazione: (2024)

Prompt-Based Value Steering of Large Language Models
di: Abbo, Giulio Antonio, et al.
Pubblicazione: (2025)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

MOD-CL: Multi-label Object Detection with Constrained Loss
di: Moriyama, Sota, et al.
Pubblicazione: (2024)

From Pixels to Predicates: Learning Symbolic World Models via Pretrained Vision-Language Models
di: Athalye, Ashay, et al.
Pubblicazione: (2024)

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
di: Bizzarri, Alice, et al.
Pubblicazione: (2024)

Large Language Model Meets Constraint Propagation
di: Bonlarron, Alexandre, et al.
Pubblicazione: (2025)

Control Barrier Function for Aligning Large Language Models
di: Miyaoka, Yuya, et al.
Pubblicazione: (2025)

Disentangling Neural Disjunctive Normal Form Models
di: Baugh, Kexin Gu, et al.
Pubblicazione: (2025)

Imperative Interference: Social Register Shapes Instruction Topology in Large Language Models
di: Mason, Tony
Pubblicazione: (2026)

Differentiable Rule Induction from Raw Sequence Inputs
di: Gao, Kun, et al.
Pubblicazione: (2026)

Predicate Invention for Bilevel Planning
di: Silver, Tom, et al.
Pubblicazione: (2022)

Consistent Query Answering for Existential Rules with Closed Predicates
di: Marconi, Lorenzo, et al.
Pubblicazione: (2024)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2024)