Buchumschlag

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Allen, Bradley P., Chhikara, Prateek, Ferguson, Thomas Macaulay, Ilievski, Filip, Groth, Paul
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Computation and Language Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Elenchus: Generating Knowledge Bases from Prover-Skeptic Dialogues
von: Allen, Bradley P.
Veröffentlicht: (2026)

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
von: Ganguly, Debargha, et al.
Veröffentlicht: (2024)

MLLMs Know Where to Look: Training-free Perception of Small Visual Details with Multimodal LLMs
von: Zhang, Jiarui, et al.
Veröffentlicht: (2025)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
von: King, Daragh, et al.
Veröffentlicht: (2025)

Reasoning in Neurosymbolic AI
von: Tran, Son, et al.
Veröffentlicht: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
von: Bayless, Sam, et al.
Veröffentlicht: (2025)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
von: Kalyanpur, Aditya, et al.
Veröffentlicht: (2024)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
von: Zhang, Xinglang, et al.
Veröffentlicht: (2026)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
von: Ahuja, Riyaz, et al.
Veröffentlicht: (2026)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
von: Farjami, Ali, et al.
Veröffentlicht: (2026)

Mind the Confidence Gap: Overconfidence, Calibration, and Distractor Effects in Large Language Models
von: Chhikara, Prateek
Veröffentlicht: (2025)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
von: Mensfelt, Agnieszka, et al.
Veröffentlicht: (2024)

RvLLM: LLM Runtime Verification with Domain Knowledge
von: Zhang, Yedi, et al.
Veröffentlicht: (2025)

Generics and Default Reasoning in Large Language Models
von: Kirkpatrick, James Ravi, et al.
Veröffentlicht: (2025)

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning
von: Basu, Kinjal, et al.
Veröffentlicht: (2024)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
von: Bourigault, Pauline, et al.
Veröffentlicht: (2026)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
von: DeLong, Lauren Nicole, et al.
Veröffentlicht: (2023)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
von: Zhang, Leizhen, et al.
Veröffentlicht: (2026)

Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication
von: Tarau, Paul
Veröffentlicht: (2026)

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
von: Zhou, Yujun, et al.
Veröffentlicht: (2025)

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

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
von: Cao, Chuxue, et al.
Veröffentlicht: (2025)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
von: Świechowski, Maciej, et al.
Veröffentlicht: (2026)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
von: Srbinovska, Anita, et al.
Veröffentlicht: (2026)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
von: Song, Zhuo-Yang
Veröffentlicht: (2025)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
von: Zeng, Yankai, et al.
Veröffentlicht: (2024)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
von: Nguyen, Long S. T., et al.
Veröffentlicht: (2025)

Neurosymbolic Decision Trees
von: Möller, Matthias, et al.
Veröffentlicht: (2025)

A Benchmark for the Detection of Metalinguistic Disagreements between LLMs and Knowledge Graphs
von: Allen, Bradley P., et al.
Veröffentlicht: (2025)

SHROOM-INDElab at SemEval-2024 Task 6: Zero- and Few-Shot LLM-Based Classification for Hallucination Detection
von: Allen, Bradley P., et al.
Veröffentlicht: (2024)

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
von: Noël, Valentin
Veröffentlicht: (2026)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
von: Quansah, Paapa Kwesi, et al.
Veröffentlicht: (2026)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
von: Li, Fangjun, et al.
Veröffentlicht: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
von: Ileri, Atalay Mert, et al.
Veröffentlicht: (2024)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
von: Yubeaton, Patrick, et al.
Veröffentlicht: (2025)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
von: Bollig, Benedikt
Veröffentlicht: (2026)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
von: Nerode, Anil, et al.
Veröffentlicht: (2024)

The Geometry of Reasoning: Flowing Logics in Representation Space
von: Zhou, Yufa, et al.
Veröffentlicht: (2025)