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

Expert system with deductive querying and verification of constraints expressed in natural language

Synthetic data generation for evaluating LLM symbolic and logic reasoning

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

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

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

Mythral Neurosymbolic AI

Local first symbolic reasoning stack for large language models. Inference provider agnostic.

ARC Prize 2024 Silver Medal Solution – Rule-based DSL symbolic reasoning system implemented in C++ for abstract grid transformation and search.

Complex-valued neuro-symbolic transformer using PyTorch.

Neurosymbolic filesystem manipulation suite

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

Symbolic Reasoning Task environment for training RL agents. Inspired OpenAI Gymnasium and Formal Methods

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

Symbolic Transformers: 2.2MB models for logical reasoning. Achieves 47% accuracy with 566K parameters—220× smaller than GPT-2. Proves data quality > model size for symbolic AI. 🔬 Novel base-625 symbolic encoding | 🚀 Edge-deployable | 📊 Open research