Popular GitHub Repositories for Symbolic Reasoning

Finetune Llama 3.3, DeepSeek-R1 & Reasoning LLMs 2x faster with 70% less memory! ?

Agno is a lightweight library for building Multimodal Agents. It exposes LLMs as a unified API and gives them superpowers like memory, knowledge, tools and reasoning.

Letta (formerly MemGPT) is the stateful agents framework with memory, reasoning, and context management.

? Scalable embedding, reasoning, ranking for images and sentences with CLIP

Structured Text Generation

KAG is a logical form-guided reasoning and retrieval framework based on OpenSPG engine and LLMs. It is used to build logical reasoning and factual Q&A solutions for professional domain knowledge bases. It can effectively overcome the shortcomings of the traditional RAG vector similarity calculation model.

A collection of LLM papers, blogs, and projects, with a focus on OpenAI o1 ? and reasoning techniques.

Gorgonia is a library that helps facilitate machine learning in Go.

A high-performance LLM inference API and Chat UI that integrates DeepSeek R1's CoT reasoning traces with Anthropic Claude models.

Official PyTorch implementation of PTS/PSRN: Fast and efficient symbolic expression discovery through parallelized tree search. Evaluates millions of expressions simultaneously on GPU with automated subtree reuse.

Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%

The Abstraction and Reasoning Corpus

Probabilistic reasoning and statistical analysis in TensorFlow

This is a Phi Family of SLMs book for getting started with Phi Models. Phi a family of open sourced AI models developed by Microsoft. Phi models are the most capable and cost-effective small language models (SLMs) available, outperforming models of the same size and next size up across a variety of language, reasoning, coding, and math benchmarks

Reasoning in LLMs: Papers and Resources, including Chain-of-Thought, OpenAI o1, and DeepSeek-R1 ?

High-Performance Symbolic Regression in Python and Julia

Pioneering Multimodal Reasoning with CoT

[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models

MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.

Modular Python framework for AI agents and workflows with chain-of-thought reasoning, tools, and memory.