Popular GitHub Repositories for Mathematical 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.

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

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

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

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

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.

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

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

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

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

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.

Project Page for "LISA: Reasoning Segmentation via Large Language Model"