Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with reasoning

A curated list of projects in awesome lists tagged with reasoning .

https://github.com/pyspur-dev/pyspur

A visual playground for agentic workflows: Iterate over your agents 10x faster

agent agents ai builder deepseek framework gemini graph human-in-the-loop llm llms loops multimodal ollama python rag reasoning tool trace workflow

Last synced: 12 May 2025

https://github.com/ysymyth/react

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

decision-making large-language-models llm prompting reasoning

Last synced: 15 May 2025

https://github.com/skyworkai/skywork-r1v

Skywork-R1V2 : Multimodal Hybrid Reinforcement Learning for Reasoning(ๆœ€ๅฅฝ็š„ๅคšๆจกๆ€ๆŽจ็†)

deepseek-r1 grpo llm multimodal-r1 multimodal-understanding r1v reasoning reinforcement-learning skywork-r1v vlm vlm-r1

Last synced: 14 May 2025

https://github.com/ysymyth/ReAct

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

decision-making large-language-models llm prompting reasoning

Last synced: 09 May 2025

https://github.com/amazon-science/auto-cot

Official implementation for "Automatic Chain of Thought Prompting in Large Language Models" (stay tuned & more will be updated)

chain-of-thought gpt-3 gpt3-prompts gpt3-resources large-language-models prompt-engineering reasoning

Last synced: 15 May 2025

https://github.com/open-thoughts/open-thoughts

Fully open data curation for reasoning models

open-data reasoning

Last synced: 03 Apr 2025

https://github.com/zai-org/GLM-V

GLM-4.5V and GLM-4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement Learning

image2text reasoning video-understanding vlm

Last synced: 30 Aug 2025

https://github.com/m0n0x41d/haft

Engineering decisions engine that know when they're stale. Frame, compare, decide โ€” with evidence decay and parity enforcement. For Claude Code, Cursor, Gemini CLI, Codex and more.

ai-agents ai-coding ai-skills air anthropic claude claude-code cli codex codex-cli context-memory cursor cursor-ai developer-tools first-principles gemini-cli prompt-engineering reasoning structured-reasoning systems-thinking

Last synced: 29 Apr 2026

https://github.com/m0n0x41d/quint-code

Engineering decisions engine that know when they're stale. Frame, compare, decide โ€” with evidence decay and parity enforcement. For Claude Code, Cursor, Gemini CLI, Codex and more.

ai-agents ai-coding ai-skills air anthropic claude claude-code cli codex codex-cli context-memory cursor cursor-ai developer-tools first-principles gemini-cli prompt-engineering reasoning structured-reasoning systems-thinking

Last synced: 01 Apr 2026

https://github.com/hendrycks/math

The MATH Dataset (NeurIPS 2021)

logic math reasoning

Last synced: 16 May 2025

https://github.com/masamasa59/ai-agent-papers

A collection of AI Agents papers (Updated biweekly)

agents llm paper-list planning reasoning survey

Last synced: 28 Feb 2026

https://github.com/OpenBioLink/ThoughtSource

A central, open resource for data and tools related to chain-of-thought reasoning in large language models. Developed @ Samwald research group: https://samwald.info/

dataset machine-learning natural-language-processing question-answering reasoning

Last synced: 28 Mar 2025

https://github.com/litexlang/golitex

Litex is a simple formal language Learnable in 2 hours.

ai aiforscience formal-languages golang litex math reasoning

Last synced: 01 May 2026

https://github.com/madaan/self-refine

LLMs can generate feedback on their work, use it to improve the output, and repeat this process iteratively.

chatgpt few-shot-learning gpt-35 gpt-4 language-generation large-language-models llms prompting prompts reasoning

Last synced: 20 Apr 2025

https://github.com/allenai/lumos

Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs"

decision-making grounding language-agent maths planning question-answering reasoning web-agent

Last synced: 13 Oct 2025

https://github.com/rowanz/r2c

Recognition to Cognition Networks (code for the model in "From Recognition to Cognition: Visual Commonsense Reasoning", CVPR 2019)

commonsense reasoning vcr vision visual visual-commonsense-reasoning

Last synced: 13 Apr 2025

https://github.com/INK-USC/RE-Net

Recurrent Event Network: Autoregressive Structure Inference over Temporal Knowledge Graphs (EMNLP 2020)

dynamic-networks graph-neural-networks knowledge-graph reasoning temporal-networks

Last synced: 29 Apr 2025

https://github.com/TheAgenticAI/CortexON

Open-source generalized AI agent for everyday task automations.

ai-agents automation genai llm multi-agent reasoning reasoning-agent

Last synced: 27 Apr 2025

https://github.com/rmanluo/reasoning-on-graphs

Official Implementation of ICLR 2024 paper: "Reasoning on Graphs: Faithful and Interpretable Large Language Model Reasoning"

kg knowledge large-language-models llm reasoning reasoning-on-graph

Last synced: 13 May 2025

https://github.com/TIGER-AI-Lab/MAmmoTH

Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]

llm math reasoning

Last synced: 18 Jul 2025

https://github.com/newca12/awesome-rust-formalized-reasoning?tab=readme-ov-file

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover theorem-proving

Last synced: 04 Mar 2026

https://github.com/modelscope/awesome-deep-reasoning

Collect every awesome work about r1!

collection deepseek grpo o1 qwen r1 reasoning rl

Last synced: 14 Jun 2025

https://github.com/sail-sg/oat

๐ŸŒพ OAT: A research-friendly framework for LLM online alignment, including preference learning, reinforcement learning, etc.

alignment distributed-rl distributed-training dpo dueling-bandits grpo llm llm-aligment llm-exploration online-alignment online-rl ppo r1-zero reasoning rlhf thompson-sampling

Last synced: 08 May 2025

https://github.com/michiyasunaga/dragon

[NeurIPS 2022] DRAGON ๐Ÿฒ: Deep Bidirectional Language-Knowledge Graph Pretraining

graph-neural-networks knowledge-graph language-model pretraining question-answering reasoning transformer

Last synced: 17 Jun 2025

https://github.com/strumentiresistenti/tagsistant

Semantic filesystem for Linux, with relation reasoner, autotagging plugins and a deduplication service

filesystem linux reasoning semantic tagging tags

Last synced: 11 Mar 2026

https://github.com/snap-stanford/kgreasoning

Multi-Hop Logical Reasoning in Knowledge Graphs

embedding knowledge-base knowledge-graph reasoning

Last synced: 28 Oct 2025

https://github.com/snap-stanford/KGReasoning

Multi-Hop Logical Reasoning in Knowledge Graphs

embedding knowledge-base knowledge-graph reasoning

Last synced: 12 Apr 2025

https://github.com/tsinghuac3i/awesome-rl-reasoning-recipes

Awesome RL Reasoning Recipes ("Triple R")

awesome-list deepseek-r1 llm open-source reasoning rl

Last synced: 10 Apr 2025

https://github.com/anchen1011/FireAct

FireAct: Toward Language Agent Fine-tuning

agent fine-tuning large-language-models llm reasoning

Last synced: 07 May 2025

https://github.com/anchen1011/fireact

FireAct: Toward Language Agent Fine-tuning

agent fine-tuning large-language-models llm reasoning

Last synced: 09 Apr 2025

https://github.com/math-ai-org/mathcode

MathCode: A Frontier Mathematical Coding Agent

ai coding foundation-models llm reasoning

Last synced: 12 Apr 2026

https://github.com/stalkermustang/llm-bulls-and-cows-benchmark

A mini-framework for evaluating LLM performance on the Bulls and Cows number guessing game, supporting multiple LLM providers.

benchmark benchmarking chatgpt games llm openai python reasoning

Last synced: 04 Apr 2025

https://github.com/schwering/limbo

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

beliefs knowledge logic reasoning

Last synced: 28 Feb 2026

https://github.com/posgnu/rci-agent

A codebase for "Language Models can Solve Computer Tasks"

large-language-models prompting reasoning

Last synced: 05 Mar 2026

https://github.com/tcsenpai/multi1

multi1: create o1-like reasoning chains with multiple AI providers (and locally). Supports LiteLLM as backend too for 100+ providers at once.

ai api chains groq litellm llm local o1 ollama openai perplexity reasoning remote

Last synced: 04 Oct 2025

https://github.com/deepgraphlearning/nbfnet

Official implementation of Neural Bellman-Ford Networks (NeurIPS 2021)

graph-neural-networks knowledge-graph link-prediction reasoning

Last synced: 14 Jun 2025

https://github.com/internlm/oreal

Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning

llm mathematics o1 reasoning rl

Last synced: 26 Jun 2025

https://github.com/lasgroup/SDPO

Reinforcement Learning via Self-Distillation (SDPO)

distillation llm reasoning rl

Last synced: 02 Jun 2026

https://github.com/pseudotensor/open-strawberry

Building open version of OpenAI o1 via reasoning traces (Groq, ollama, Anthropic, Gemini, OpenAI, Azure supported) Demo: https://huggingface.co/spaces/pseudotensor/open-strawberry

anthropic chain-of-thought groq llama3 o1 openai reasoning

Last synced: 04 Apr 2025

https://github.com/bowang-lab/bioreason

BioReason: Incentivizing Multimodal Biological Reasoning within a DNA-LLM Model

bioinformatics computational-biology dna foundation-models grpo large-language-models reasoning

Last synced: 12 Jun 2025

https://github.com/RDFLib/OWL-RL

A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.

inference owl owl-rl python rdf rdflib reasoning

Last synced: 16 Nov 2025

https://github.com/dvlab-research/step-dpo

Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"

dpo llm math reasoning

Last synced: 03 Jul 2025

https://github.com/rdflib/owl-rl

A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.

inference owl owl-rl python rdf rdflib reasoning

Last synced: 04 Apr 2025

https://github.com/tiger-ai-lab/mammoth2

Official code for "MAmmoTH2: Scaling Instructions from the Web" [NeurIPS 2024]

language math reasoning

Last synced: 13 Jun 2025

https://github.com/XiaoYee/Awesome_Efficient_LRM_Reasoning

๐Ÿ˜Ž A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, and Beyond (From Shanghai AI Lab)

budget-aware chain-of-thought cot efficient efficient-reasoning long-cot lrm o1 o3 r1 reasoning slow-fast

Last synced: 07 Apr 2025

https://github.com/tiger-ai-lab/general-reasoner

General Reasoner: Advancing LLM Reasoning Across All Domains

llm reasoning rl

Last synced: 13 Jun 2025

https://github.com/diagram-of-thought/diagram-of-thought

Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)

large-language-models llm logic math reasoning

Last synced: 30 Sep 2025

https://github.com/tiger-ai-lab/pixel-reasoner

Pixel-Level Reasoning Model trained with RL

llm multimodal reasoning

Last synced: 13 Jun 2025

https://tiger-ai-lab.github.io/MAmmoTH2/

Official code for "MAmmoTH2: Scaling Instructions from the Web" [NeurIPS 2024]

language math reasoning

Last synced: 11 Apr 2025

https://github.com/CJReinforce/PURE

Official code for the paper, "Stop Summation: Min-Form Credit Assignment Is All Process Reward Model Needs for Reasoning"

llm mathematics o1 r1 reasoning reinforcement-finetuning reinforcement-learning rl

Last synced: 08 May 2025

https://github.com/hmbown/hegelion

Dialectical reasoning architecture for LLMs (Thesis โ†’ Antithesis โ†’ Synthesis)

ai-safety anthropic auto-code benchmarking dialecticism evaluation hegelian llm mcp ollama openai pair-programming reasoning research

Last synced: 04 Feb 2026

https://github.com/scofield7419/thor-isa

Codes for ACL 2023 paper: Reasoning Implicit Sentiment with Chain-of-Thought Prompting

chain-of-thought reasoning sentiment-analysis

Last synced: 01 Jul 2025

https://github.com/tiger-ai-lab/vl-rethinker

The official code of "VL-Rethinker: Incentivizing Self-Reflection of Vision-Language Models with Reinforcement Learning"

llm multimodal reasoning vlm

Last synced: 13 Jun 2025

https://github.com/woooodyy/llm-reverse-curriculum-rl

Implementation of the ICML 2024 paper "Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement Learning" presented by Zhiheng Xi et al.

llm reasoning rl

Last synced: 12 Aug 2025

https://github.com/opennars/OpenNARS-for-Applications

General reasoning component for applications based on NARS theory.

ai artificial-intelligence nal nars non-axiomatic-logic non-axiomatic-reasoning procedu reasoner reasoning

Last synced: 18 Mar 2025

https://github.com/xlang-ai/bright

BRIGHT: A Realistic and Challenging Benchmark for Reasoning-Intensive Retrieval

benchmark reasoning retrieval

Last synced: 07 Apr 2025

https://github.com/deepgraphlearning/gnn-qe

Official implementation of Graph Neural Network Query Executor (ICML 2022)

fuzzy-logic graph-neural-networks knowledge-graph reasoning

Last synced: 23 Sep 2025

https://github.com/DeepGraphLearning/GNN-QE

Official implementation of Graph Neural Network Query Executor (ICML 2022)

fuzzy-logic graph-neural-networks knowledge-graph reasoning

Last synced: 12 Apr 2025

https://github.com/reasoning-machines/CoCoGen

Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)

code-generation commonsense-reasoning few-shot-learning large-language-models reasoning

Last synced: 16 Mar 2025

https://github.com/hugorcd/nuxt-ui-chat

Nuxt UI app using the aisdk v5: streaming AI chat, multi-model support, AI Gateway, and generative UI

ai ai-gateway aisdk chat generative-ui nuxt-ui reasoning vercel

Last synced: 20 Sep 2025

https://github.com/scofield7419/THOR-ISA

Codes for ACL 2023 paper: Reasoning Implicit Sentiment with Chain-of-Thought Prompting

chain-of-thought reasoning sentiment-analysis

Last synced: 19 Aug 2025

https://github.com/multimodal/multimodal

A collection of multimodal datasets, and visual features for VQA and captionning in pytorch. Just run "pip install multimodal"

datasets deep-learning embeddings reasoning vision-and-language visual-features

Last synced: 11 Mar 2026

https://github.com/balrog-ai/BALROG

Benchmarking Agentic LLM and VLM Reasoning On Games

agentic benchmark games llm reasoning vlm

Last synced: 11 Sep 2025

https://github.com/princeton-nlp/nlproofs

EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443

machine-learning nlp reasoning

Last synced: 12 May 2025

https://github.com/lechmazur/nyt-connections

Benchmark that evaluates LLMs using 601 NYT Connections puzzles extended with extra trick words

benchmark evaluation gpt-4-5 gpt-4o llm llms-benchmarking puzzles reasoning sonnet3-7 testing

Last synced: 13 Apr 2025

https://github.com/debate-map/app

Monorepo for the client, server, etc. of the Debate Map website.

argument-maps argumentation critical-thinking debate debate-maps debating reasoning

Last synced: 19 Jul 2025

https://github.com/gair-nlp/octothinker

Revisiting Mid-training in the Era of RL Scaling

llama llm mid-training post-training pre-training qwen reasoning rl verl

Last synced: 30 Jun 2025

https://github.com/amanchadha/iperceive

Applying Common-Sense Reasoning to Multi-Modal Dense Video Captioning and Video Question Answering | Python3 | PyTorch | CNNs | Causality | Reasoning | LSTMs | Transformers | Multi-Head Self Attention | Published in IEEE Winter Conference on Applications of Computer Vision (WACV) 2021

attention captioning captioning-videos causality common-sense convolutional-neural-networks dense-captioning distilling-the-knowledge lstm multi-modal python python3 pytorch question-answering reasoning resnets self-attention transformers video videoqa

Last synced: 05 Apr 2025

https://debjitpaul.github.io/refiner/

About The corresponding code from our paper " REFINER: Reasoning Feedback on Intermediate Representations" (EACL 2024). Do not hesitate to open an issue if you run into any trouble!

few-shot-learning gpt-3-5-turbo natural-language-generation natural-language-processing reasoning reasoning-machine

Last synced: 02 Apr 2025

https://github.com/nikkoxgonzales/crash-mcp

MCP server for structured and efficient reasoning with step validation, branching, and revisions.

ai llm mcp mcp-server model-context-protocol nodejs npm npmjs reasoning structured-reasoning typescript

Last synced: 08 Jan 2026

https://github.com/ai4ce/spare3d

[CVPR2020] A Dataset for SPAtial REasoning on Three-View Line Drawings

deep-learning line-drawing line-drawings pythonocc reasoning spatial-reasoning

Last synced: 11 Apr 2025