Cover Image

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Beiser, Alexander, Penz, David, Musliu, Nysret
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
by: Geibinger, Tobias, et al.
Published: (2019)

Key Principles in Cross-Domain Hyper-Heuristic Performance
by: Sobotka, Václav, et al.
Published: (2025)

An Enhanced Large Neighborhood Search Approach for the Capacitated Facility Location Problem with Incompatible Customers
by: Gjergji, Ida, et al.
Published: (2026)

ASP-FZN: A Translation-based Constraint Answer Set Solver
by: Eiter, Thomas, et al.
Published: (2025)

Theoretical Lower Bounds for the Oven Scheduling Problem
by: Da Ros, Francesca, et al.
Published: (2024)

Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints
by: Kletzander, Lucas, et al.
Published: (2025)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
by: Eiter, Thomas, et al.
Published: (2022)

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

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

A Neurosymbolic Approach to Natural Language Formalization and Verification
by: Bayless, Sam, et al.
Published: (2025)

Solving Parallel Machine Scheduling With Precedences and Cumulative Resource Constraints With Calendars
by: Einspieler, Christoph, et al.
Published: (2025)

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

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

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

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

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

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

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
by: Yu, Zhouliang, et al.
Published: (2025)

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)

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

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

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

Concept-RuleNet: Grounded Multi-Agent Neurosymbolic Reasoning in Vision Language Models
by: Sinha, Sanchit, et al.
Published: (2025)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
by: Jiang, Jin, et al.
Published: (2025)

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

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

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

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
by: Raza, Mohammad, et al.
Published: (2025)

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
by: Poddar, Aheli, et al.
Published: (2025)

Data Augmentation Techniques to Reverse-Engineer Neural Network Weights from Input-Output Queries
by: Beiser, Alexander, et al.
Published: (2025)

Toward Neurosymbolic Program Comprehension
by: Velasco, Alejandro, et al.
Published: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
by: Beiser, Alexander, et al.
Published: (2025)

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

Premise Order Matters in Reasoning with Large Language Models
by: Chen, Xinyun, et al.
Published: (2024)

Masking Matters: Unlocking the Spatial Reasoning Capabilities of LLMs for 3D Scene-Language Understanding
by: Jeon, Yerim, et al.
Published: (2025)

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)