Imagen de Portada

From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Haufe, Cedric, Stolzenburg, Frieder
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI
por: Krause, Stefanie, et al.
Publicado: (2024)

Predicate Renaming via Large Language Models
por: Gentili, Elisabetta, et al.
Publicado: (2025)

Inference of Abstraction for Grounded Predicate Logic
por: Kido, Hiroyuki
Publicado: (2025)

Large Language Models Are Neurosymbolic Reasoners
por: Fang, Meng, et al.
Publicado: (2024)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
por: Olausson, Theo X., et al.
Publicado: (2023)

On Scaling Neurosymbolic Programming through Guided Logical Inference
por: Valentin, Thomas Jean-Michel, et al.
Publicado: (2025)

Advancing Symbolic Integration in Large Language Models: Beyond Conventional Neurosymbolic AI
por: Rani, Maneeha, et al.
Publicado: (2025)

IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements
por: Stol, Maarten C., et al.
Publicado: (2024)

Model Predictive Robustness of Signal Temporal Logic Predicates
por: Lin, Yuanfei, et al.
Publicado: (2022)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
por: Chevallier, Mark, et al.
Publicado: (2025)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
por: Hillerstrom, Fieke, et al.
Publicado: (2024)

A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence
por: Renkhoff, Justus, et al.
Publicado: (2024)

Large Language Models for Mathematicians
por: Frieder, Simon, et al.
Publicado: (2023)

LTNtorch: PyTorch Implementation of Logic Tensor Networks
por: Carraro, Tommaso, et al.
Publicado: (2024)

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

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
por: Oh, Hyunseok, et al.
Publicado: (2026)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
por: Gupta, Gopal, et al.
Publicado: (2025)

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

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
por: Quansah, Paapa Kwesi, et al.
Publicado: (2026)

Small Language Models Offer Significant Potential for Science Community
por: Zhang, Jian
Publicado: (2025)

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

Large Language Models for Validating Network Protocol Parsers
por: Zheng, Mingwei, et al.
Publicado: (2025)

Relational Neurosymbolic Markov Models
por: De Smet, Lennert, et al.
Publicado: (2024)

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
por: Marra, Giuseppe, et al.
Publicado: (2021)

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

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
por: Beiser, Alexander, et al.
Publicado: (2025)

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
por: Li, Naiqi, et al.
Publicado: (2025)

Quantum Large Language Models via Tensor Network Disentanglers
por: Aizpurua, Borja, et al.
Publicado: (2024)

Neurosymbolic Auditing of Natural-Language Software Requirements
por: Hall, Bethel, et al.
Publicado: (2026)

Three Pathways to Neurosymbolic Reinforcement Learning with Interpretable Model and Policy Networks
por: Graf, Peter, et al.
Publicado: (2024)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
por: Brindise, Noel, et al.
Publicado: (2023)

Neurosymbolic Grounding for Compositional World Models
por: Sehgal, Atharva, et al.
Publicado: (2023)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
por: Wang, Zhongsheng, et al.
Publicado: (2024)

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

The DeepLog Neurosymbolic Machine
por: Derkinderen, Vincent, et al.
Publicado: (2025)

Neurosymbolic Deep Learning Semantics
por: Garcez, Artur d'Avila, et al.
Publicado: (2025)

Independence Is Not an Issue in Neurosymbolic AI
por: Faronius, Håkan Karlsson, et al.
Publicado: (2025)

Neurosymbolic Methods for Rule Mining
por: Lawrynowicz, Agnieszka, et al.
Publicado: (2024)

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

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