Buchumschlag

Logically Consistent Language Models via Neuro-Symbolic Integration

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Calanzone, Diego, Teso, Stefano, Vergari, Antonio
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computation and Language Artificial Intelligence Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Towards Logically Consistent Language Models via Probabilistic Reasoning
von: Calanzone, Diego, et al.
Veröffentlicht: (2024)

Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
von: Bortolotti, Samuele, et al.
Veröffentlicht: (2026)

BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
von: Marconato, Emanuele, et al.
Veröffentlicht: (2024)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
von: Marconato, Emanuele, et al.
Veröffentlicht: (2025)

A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
von: Bortolotti, Samuele, et al.
Veröffentlicht: (2024)

Can VLMs Reason Robustly? A Neuro-Symbolic Investigation
von: Chen, Weixin, et al.
Veröffentlicht: (2026)

Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens
von: Bortolotti, Samuele, et al.
Veröffentlicht: (2025)

NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models
von: Liang, Feng, et al.
Veröffentlicht: (2025)

What can Large Language Models Capture about Code Functional Equivalence?
von: Maveli, Nickil, et al.
Veröffentlicht: (2024)

ContextGPT: Infusing LLMs Knowledge into Neuro-Symbolic Activity Recognition Models
von: Arrotta, Luca, et al.
Veröffentlicht: (2024)

Neuro-Symbolic Concepts
von: Mao, Jiayuan, et al.
Veröffentlicht: (2025)

AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning
von: Bruno, Alessio
Veröffentlicht: (2026)

ObjectAlign: Neuro-Symbolic Object Consistency Verification and Correction
von: Munir, Mustafa, et al.
Veröffentlicht: (2025)

Towards Consistent Natural-Language Explanations via Explanation-Consistency Finetuning
von: Chen, Yanda, et al.
Veröffentlicht: (2024)

Consistency Checks for Language Model Forecasters
von: Paleka, Daniel, et al.
Veröffentlicht: (2024)

Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility
von: Maveli, Nickil, et al.
Veröffentlicht: (2026)

CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization
von: Min, Nay Myat, et al.
Veröffentlicht: (2024)

DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models
von: Chung, Tsz Ting, et al.
Veröffentlicht: (2025)

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models
von: He, Kang, et al.
Veröffentlicht: (2025)

Protect$^*$: Steerable Retrosynthesis through Neuro-Symbolic State Encoding
von: Sathyanarayana, Shreyas Vinaya, et al.
Veröffentlicht: (2026)

Soft Self-Consistency Improves Language Model Agents
von: Wang, Han, et al.
Veröffentlicht: (2024)

Knowledge-based Consistency Testing of Large Language Models
von: Rajan, Sai Sathiesh, et al.
Veröffentlicht: (2024)

The Consistency Hypothesis in Uncertainty Quantification for Large Language Models
von: Xiao, Quan, et al.
Veröffentlicht: (2025)

ConsistRM: Improving Generative Reward Models via Consistency-Aware Self-Training
von: Liang, Yu, et al.
Veröffentlicht: (2026)

A Neuro-inspired Interpretation of Unlearning in Large Language Models through Sample-level Unlearning Difficulty
von: Feng, Xiaohua, et al.
Veröffentlicht: (2025)

ConsistentEE: A Consistent and Hardness-Guided Early Exiting Method for Accelerating Language Models Inference
von: Zeng, Ziqian, et al.
Veröffentlicht: (2023)

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
von: Hsia, Yung-Shen, et al.
Veröffentlicht: (2026)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
von: He, Haoyuan, et al.
Veröffentlicht: (2022)

Stepwise Self-Consistent Mathematical Reasoning with Large Language Models
von: Zhao, Zilong, et al.
Veröffentlicht: (2024)

Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities
von: Hua, Wenyue, et al.
Veröffentlicht: (2024)

From Symbolic to Neural and Back: Exploring Knowledge Graph-Large Language Model Synergies
von: Škrlj, Blaž, et al.
Veröffentlicht: (2025)

From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
von: Kiruluta, Andrew, et al.
Veröffentlicht: (2025)

Leveraging Large Language Models for Wireless Symbol Detection via In-Context Learning
von: Abbas, Momin, et al.
Veröffentlicht: (2024)

LOLAMEME: Logic, Language, Memory, Mechanistic Framework
von: Desai, Jay, et al.
Veröffentlicht: (2024)

To Code or not to Code? Adaptive Tool Integration for Math Language Models via Expectation-Maximization
von: Wang, Haozhe, et al.
Veröffentlicht: (2025)

Jailbreaking Large Language Models with Symbolic Mathematics
von: Bethany, Emet, et al.
Veröffentlicht: (2024)

Introducing Background Temperature to Characterise Hidden Randomness in Large Language Models
von: Messina, Alberto, et al.
Veröffentlicht: (2026)

Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism
von: Wang, Zhiwei, et al.
Veröffentlicht: (2024)

Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
von: Bi, Zhen, et al.
Veröffentlicht: (2025)

Relative Value Biases in Large Language Models
von: Hayes, William M., et al.
Veröffentlicht: (2024)