Cover Image

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Oh, Hyunseok, Stern, Sam, Lee, Youngki, Philipose, Matthai
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
by: Cen, Yunuo, et al.
Published: (2026)

Sign Gradient Descent-based Neuronal Dynamics: ANN-to-SNN Conversion Beyond ReLU Network
by: Oh, Hyunseok, et al.
Published: (2024)

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
by: Lin, Yuanfei, et al.
Published: (2024)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
by: Lee, Joohyung, et al.
Published: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
by: Li, Jinzhao, et al.
Published: (2025)

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

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
by: Heck, Linus, et al.
Published: (2025)

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

Reasoning in Neurosymbolic AI
by: Tran, Son, et al.
Published: (2025)

Papez: Resource-Efficient Speech Separation with Auditory Working Memory
by: Oh, Hyunseok, et al.
Published: (2024)

Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
by: Lin, Qika, et al.
Published: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
by: Li, Jinzhao, et al.
Published: (2023)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
by: Bartholomew, Michael, et al.
Published: (2026)

Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning
by: Beiser, Alexander, et al.
Published: (2025)

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

Monitor-Generate-Verify (MGV): Formalising Metacognitive Theory for Language Model Reasoning
by: Oh, Nick, et al.
Published: (2025)

Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning
by: Kim, Jooyoung, et al.
Published: (2026)

NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning
by: Choi, Wonje, et al.
Published: (2025)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
by: Mishra, Suyash
Published: (2026)

LANTERN: LLM-Augmented Neurosymbolic Transfer with Experience-Gated Reasoning Networks
by: Alinejad, Mahyar, et al.
Published: (2026)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)

On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms
by: Richards, Luke E., et al.
Published: (2025)

Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap
by: Srivastava, Saurabh, et al.
Published: (2024)

Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations
by: Dhanraj, Varun, et al.
Published: (2025)

Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations
by: Olivier, François, et al.
Published: (2025)

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

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

Enhancing SQL Query Generation with Neurosymbolic Reasoning
by: Princis, Henrijs, et al.
Published: (2024)

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

The DeepLog Neurosymbolic Machine
by: Derkinderen, Vincent, et al.
Published: (2025)

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

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

Neurosymbolic Methods for Rule Mining
by: Lawrynowicz, Agnieszka, et al.
Published: (2024)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
by: Soroka, Emiko, et al.
Published: (2023)

NeuroProlog: Multi-Task Fine-Tuning for Neurosymbolic Mathematical Reasoning via the Cocktail Effect
by: Zunjare, Pratibha, et al.
Published: (2026)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
by: Allen, Bradley P., et al.
Published: (2025)

GIFARC: Synthetic Dataset for Leveraging Human-Intuitive Analogies to Elevate AI Reasoning
by: Sim, Woochang, et al.
Published: (2025)

Neurosymbolic Conformal Classification
by: Ledaguenel, Arthur, et al.
Published: (2024)

Neurosymbolic Learning for Inference-Time Argumentation
by: Freedman, Gabriel, et al.
Published: (2026)