WFGY 2.0. Semantic Reasoning Engine for LLMs (MIT). Fixes RAG/OCR drift, collapse & “ghost matches” via symbolic overlays + logic patches. Autoboot; OneLine & Flagship. ⭐ Star if you explore semantic RAG or hallucination mitigation.

[ACL 2023] Reasoning with Language Model Prompting: A Survey

Framework and Language for Neurosymbolic Programming.

ToK aka Tree of Knowledge for Large Language Models LLM. It's a novel dataset that inspires knowledge symbolic correlation in simple input and output prompts

[EMNLP '23] Discriminator-Guided Chain-of-Thought Reasoning

[ICML 2023] Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization

Synthetic data generation for evaluating LLM symbolic and logic reasoning

A symbolic benchmark for verifiable chain-of-thought financial reasoning. Includes executable templates, 54 topics across 12 domains, and ChainEval metrics.

Participating in Explainable AI for Educational Question-Answering with Symbolic Reasoning

[EMNLP 2024] NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization

Code and data for Paper "Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement"

Mythral Neurosymbolic AI

Complex-valued neuro-symbolic transformer using PyTorch.

Symbolic reasoning system for LLMs

CIC-IPN course of Fundamentals of Artificial Intelligence with Salvador Godoy

Pure-Python baseline solver for Kaggle ARC Prize 2025 on ARC-AGI-2

A Neuro-Symbolic Attempt at Meta-Cognitive Learning

UXI-LLM is a modular hybrid language model that combines neural and symbolic reasoning for enhanced AI capabilities. Built for flexibility and local use, it empowers developers and researchers to customize their AI solutions with ease. 🐙💻