Cover Image

VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Callewaert, Benjamin, Vandevelde, Simon, Vennekens, Joost
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

Answer Set Programming for Flexible Payroll Management
by: Callewaert, Benjamin, et al.
Published: (2024)

Efficiently grounding FOL using bit vectors
by: Van Laer, Lucas, et al.
Published: (2024)

Enhancing Computer Vision with Knowledge: a Rummikub Case Study
by: Vandevelde, Simon, et al.
Published: (2024)

EmoCAM: Toward Understanding What Drives CNN-based Emotion Recognition
by: Doulfoukar, Youssef, et al.
Published: (2024)

Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
by: Tang, Weizhi, et al.
Published: (2025)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
by: Li, Zenan, et al.
Published: (2025)

ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024)

FindingEmo: An Image Dataset for Emotion Recognition in the Wild
by: Mertens, Laurent, et al.
Published: (2024)

A Semantic Framework for Neuro-Symbolic Computing
by: Odense, Simon, et al.
Published: (2022)

SpeakerLM: End-to-End Versatile Speaker Diarization and Recognition with Multimodal Large Language Models
by: Yin, Han, et al.
Published: (2025)

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
by: Lorello, Luca Salvatore, et al.
Published: (2025)

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
by: Kirtania, Shashank, et al.
Published: (2024)

Diversity-Incentivized Exploration for Versatile Reasoning
by: Hu, Zican, et al.
Published: (2025)

A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
by: Wu, Jiahao, et al.
Published: (2025)

Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
by: Zhang, Zheng
Published: (2025)

Tokenization Constraints in LLMs: A Study of Symbolic and Arithmetic Reasoning Limits
by: Zhang, Xiang, et al.
Published: (2025)

Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs
by: Wang, Rong, et al.
Published: (2024)

Combining LLMs with Logic-Based Framework to Explain MCTS
by: An, Ziyan, et al.
Published: (2025)

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs
by: Vaghasiya, Jay, et al.
Published: (2025)

Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)

Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
by: Liem, Tran Quang
Published: (2026)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
by: Hersche, Michael, et al.
Published: (2024)

Reasoning Effort and Problem Complexity: A Scaling Analysis in LLMs
by: Estermann, Benjamin, et al.
Published: (2025)

Project SHADOW: Symbolic Higher-order Associative Deductive reasoning On Wikidata using LM probing
by: Akl, Hanna Abi
Published: (2024)

Rethinking Math Reasoning Evaluation: A Robust LLM-as-a-Judge Framework Beyond Symbolic Rigidity
by: Yosef, Erez, et al.
Published: (2026)

Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond ICL and CoT
by: Mamidala, Rushitha Santhoshi, et al.
Published: (2025)

Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)

Natural Language Edge Labelling: Decoupling Intent from Execution in Structured LM Reasoning
by: Madahar, Abhinav
Published: (2025)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)

Abductive Symbolic Solver on Abstraction and Reasoning Corpus
by: Lim, Mintaek, et al.
Published: (2024)

ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning
by: Yu, Xiaodong, et al.
Published: (2024)

LM Agents for Coordinating Multi-User Information Gathering
by: Jhamtani, Harsh, et al.
Published: (2025)

PlatoLM: Teaching LLMs in Multi-Round Dialogue via a User Simulator
by: Kong, Chuyi, et al.
Published: (2023)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
by: Zhang, Xuan, et al.
Published: (2025)

To See the Unseen: on the Generalization Ability of Transformers in Symbolic Reasoning
by: Lazić, Nevena, et al.
Published: (2026)

Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data
by: Kido, Hiroyuki
Published: (2024)

TeachLM: Post-Training LLMs for Education Using Authentic Learning Data
by: Perczel, Janos, et al.
Published: (2025)

NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization
by: Nahid, Md Mahadi Hasan, et al.
Published: (2024)

Symbol-Equivariant Recurrent Reasoning Models
by: Freinschlag, Richard, et al.
Published: (2026)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2025)