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

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

Synthetic data generation for evaluating LLM symbolic and logic reasoning

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

Symbolic reasoning system for LLMs

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

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.

WPE/TME: Text-native language for encoding semantic structure and temporal relationships. Geometric calculus with formal semantics. AI reasoning.

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

A Neuro-Symbolic Attempt at Meta-Cognitive Learning

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

Prototype reasoning engine for rule-based decision-making in AIOp

🧠 Linguaggio Cognitivo Ibrido per Agenti AI Trasparenti | Hybrid AI Language combining symbolic reasoning with LLMs