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

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.

Probabilistic language based on pattern matching and constraint propagation, 153 examples

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.

The Abstraction and Reasoning Corpus

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

Probabilistic reasoning and statistical analysis in TensorFlow

Document Index System for Reasoning-Based RAG

A language for constraint-guided and efficient LLM programming.

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 ?

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

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

Distributed RL System for LLM Reasoning

Pioneering Multimodal Reasoning with CoT

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