Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
Fuente:
arXiv
Saved in:
| Main Authors: | Tang, Weizhi, Nuamah, Kwabena, Belle, Vaishak |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024)
by: Tang, Weizhi, et al.
Published: (2024)
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024)
by: Tang, Weizhi, et al.
Published: (2024)
Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024)
by: Tang, Weizhi, et al.
Published: (2024)
HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
by: Tang, Weizhi, et al.
Published: (2025)
by: Tang, Weizhi, et al.
Published: (2025)
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
by: Feldstein, Jonathan, et al.
Published: (2024)
by: Feldstein, Jonathan, et al.
Published: (2024)
Neuro-symbolic Weak Supervision: Theory and Semantics
by: Upreti, Nijesh, et al.
Published: (2025)
by: Upreti, Nijesh, et al.
Published: (2025)
An Algebraic Framework for Hierarchical Probabilistic Abstraction
by: Upreti, Nijesh, et al.
Published: (2025)
by: Upreti, Nijesh, et al.
Published: (2025)
Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)
by: Belle, Vaishak
Published: (2025)
Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems
by: Upreti, Nijesh, et al.
Published: (2025)
by: Upreti, Nijesh, et al.
Published: (2025)
A Counterfactual Cause in Situation Calculus
by: Liu, Daxin, et al.
Published: (2025)
by: Liu, Daxin, et al.
Published: (2025)
Evaluating the Meta- and Object-Level Reasoning of Large Language Models for Question Answering
by: Ferguson, Nick, et al.
Published: (2025)
by: Ferguson, Nick, et al.
Published: (2025)
Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs
by: Habib, Saimun, et al.
Published: (2026)
by: Habib, Saimun, et al.
Published: (2026)
Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)
by: Upreti, Nijesh, et al.
Published: (2025)
Practical Considerations for Agentic LLM Systems
by: Sypherd, Chris, et al.
Published: (2024)
by: Sypherd, Chris, et al.
Published: (2024)
Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
by: Molick, Sanderson, et al.
Published: (2026)
by: Molick, Sanderson, et al.
Published: (2026)
Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026)
by: Upreti, Nijesh, et al.
Published: (2026)
Neural Networks Decoded: Targeted and Robust Analysis of Neural Network Decisions via Causal Explanations and Reasoning
by: Diallo, Alec F., et al.
Published: (2024)
by: Diallo, Alec F., et al.
Published: (2024)
Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)
by: Das, Anugyan, et al.
Published: (2026)
IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning
by: Wang, Xiaoheng, et al.
Published: (2026)
by: Wang, Xiaoheng, et al.
Published: (2026)
Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
by: Liem, Tran Quang
Published: (2026)
by: Liem, Tran Quang
Published: (2026)
Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)
by: Su, Yiming, et al.
Published: (2026)
A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
by: Wu, Jiahao, et al.
Published: (2025)
by: Wu, Jiahao, et al.
Published: (2025)
Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)
by: Li, Zenan, et al.
Published: (2024)
A Semantic Framework for Neuro-Symbolic Computing
by: Odense, Simon, et al.
Published: (2022)
by: Odense, Simon, et al.
Published: (2022)
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
by: Lorello, Luca Salvatore, et al.
Published: (2025)
by: Lorello, Luca Salvatore, et al.
Published: (2025)
Used Car Salesbots? Honesty and Credulity of LLMs as Bargaining Agents under Partial Information
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2026)
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2026)
A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
by: Pojer, Raffaele, et al.
Published: (2025)
by: Pojer, Raffaele, et al.
Published: (2025)
Sandra -- A Neuro-Symbolic Reasoner Based On Descriptions And Situations
by: Lazzari, Nicolas, et al.
Published: (2024)
by: Lazzari, Nicolas, et al.
Published: (2024)
Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
by: Zhang, Xuan, et al.
Published: (2025)
by: Zhang, Xuan, et al.
Published: (2025)
Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
by: Hersche, Michael, et al.
Published: (2024)
by: Hersche, Michael, et al.
Published: (2024)
Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond ICL and CoT
by: Mamidala, Rushitha Santhoshi, et al.
Published: (2025)
by: Mamidala, Rushitha Santhoshi, et al.
Published: (2025)
Program Semantic Inequivalence Game with Large Language Models
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2025)
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2025)
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
by: Quan, Xin, et al.
Published: (2025)
by: Quan, Xin, et al.
Published: (2025)
Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2025)
by: Marconato, Emanuele, et al.
Published: (2025)
Reliable Classroom AI via Neuro-Symbolic Multimodal Reasoning
by: Nezhad, Sina Bagheri
Published: (2026)
by: Nezhad, Sina Bagheri
Published: (2026)
An Agentic Framework for Neuro-Symbolic Programming
by: Nafar, Aliakbar, et al.
Published: (2026)
by: Nafar, Aliakbar, et al.
Published: (2026)
The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning
by: Cunnington, Daniel, et al.
Published: (2024)
by: Cunnington, Daniel, et al.
Published: (2024)
NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
by: Wu, Weiming, et al.
Published: (2025)
by: Wu, Weiming, et al.
Published: (2025)
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
by: Lorello, Luca Salvatore, et al.
Published: (2025)
by: Lorello, Luca Salvatore, et al.
Published: (2025)
KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
by: Yong, Binbin, et al.
Published: (2026)
by: Yong, Binbin, et al.
Published: (2026)
Similar Items
-
LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024) -
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024) -
Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024) -
HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
by: Tang, Weizhi, et al.
Published: (2025) -
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
by: Feldstein, Jonathan, et al.
Published: (2024)