[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

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

[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"

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

A Neuro-Symbolic Attempt at Meta-Cognitive Learning

General-purpose symbolic AI framework. Designed for efficient, modular cognition using VLD — a symbolic language for compression and reasoning. Built to interpret, decide, and evolve without relying on massive LLMs.