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: 23 Apr 2025

https://github.com/typedb/typedb

TypeDB: the power of programming, in your database

database inference knowledge-base knowledge-representation logic polymorphic polymorphism reasoning strongly-typed type-system typedb typeql

Last synced: 25 Apr 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: 14 Apr 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: 16 Nov 2024

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: 07 Apr 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/atfortes/llm-reasoning-papers

Reasoning in Large Language Models: Papers and Resources, including Chain-of-Thought, Instruction-Tuning and Multimodality.

awesome chain-of-thought chatgpt cot gpt gpt-4 in-context-learning language-models mllm multimodal papers prompt prompt-engineering question-answering reasoning vllm

Last synced: 06 Feb 2025

https://github.com/zjunlp/knowlm

An Open-sourced Knowledgable Large Language Model Framework.

bilingual chinese deep-learning deepspeed english gpt-3 instructie instruction-following instruction-tuning instructions knowlm language-model large-language-models llama lora models pre-trained-language-models pre-trained-model pre-training reasoning

Last synced: 08 Apr 2025

https://github.com/zjunlp/KnowLM

An Open-sourced Knowledgable Large Language Model Framework.

bilingual chinese deep-learning deepspeed english gpt-3 instructie instruction-following instruction-tuning instructions knowlm language-model large-language-models llama lora models pre-trained-language-models pre-trained-model pre-training reasoning

Last synced: 04 Apr 2025

https://github.com/zjunlp/CaMA

An Open-sourced Knowledgable Large Language Model Framework.

bilingual chinese deep-learning deepspeed english gpt-3 instructie instruction-following instruction-tuning instructions knowlm language-model large-language-models llama lora models pre-trained-language-models pre-trained-model pre-training reasoning

Last synced: 19 Dec 2024

https://github.com/hendrycks/math

The MATH Dataset (NeurIPS 2021)

logic math reasoning

Last synced: 08 Apr 2025

https://github.com/protegeproject/protege

Protege Desktop

java knowledge-graph knowledge-management obo ontology ontology-engineering owl protege protege-desktop rdf reasoning semantics

Last synced: 09 Apr 2025

https://github.com/brylevkirill/notes

Learn about Machine Learning and Artificial Intelligence

artificial-intelligence bayesian-inference causal-inference deep-learning information-retrieval knowledge-graph knowledge-representation machine-learning natural-language-processing probabilistic-programming question-answering reasoning recommender-systems reinforcement-learning

Last synced: 27 Mar 2025

https://github.com/zjunlp/Prompt4ReasoningPapers

[ACL 2023] Reasoning with Language Model Prompting: A Survey

arithmetic-reasoning artificial-intelligence awsome-list chain-of-thought chatgpt commonsense-reasoning datasets gpt-3 language-models large-language-models llm logical-reasoning natural-language-processing nlp paper-list prompt prompt-engineering reasoning survey symbolic-reasoning

Last synced: 12 Mar 2025

https://github.com/zjunlp/prompt4reasoningpapers

[ACL 2023] Reasoning with Language Model Prompting: A Survey

arithmetic-reasoning artificial-intelligence awsome-list chain-of-thought chatgpt commonsense-reasoning datasets gpt-3 language-models large-language-models llm logical-reasoning natural-language-processing nlp paper-list prompt prompt-engineering reasoning survey symbolic-reasoning

Last synced: 20 Apr 2025

https://github.com/zzli2022/Awesome-System2-Reasoning-LLM

Latest Advances on System-2 Reasoning

benchmark macro-action mcts o1 o3 prm r1 reasoning rl self-improve slow-fast system-2

Last synced: 31 Mar 2025

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/plastic-labs/tutor-gpt

AI tutor powered by Theory-of-Mind reasoning

ai education hacktoberfest literacy machine-learning o1 prompt-engineering reasoning theory-of-mind tutoring

Last synced: 08 Apr 2025

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/NucleoidAI/Nucleoid

Reasoning Engine for Neuro-Symbolic AI

declarative-logic expert-system javascript knowledge knowledge-base logic logic-programming neuro-symbolic neuro-symbolic-ai node rag reasoning reasoning-engine semantic-reasoner semantic-reasoning symbolic symbolic-ai

Last synced: 03 Apr 2025

https://github.com/nucleoidai/nucleoid

Reasoning Engine for Neuro-Symbolic AI

declarative-logic expert-system javascript knowledge knowledge-base logic logic-programming neuro-symbolic neuro-symbolic-ai node rag reasoning reasoning-engine semantic-reasoner semantic-reasoning symbolic symbolic-ai

Last synced: 04 Apr 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/reasoning-machines/pal

PaL: Program-Aided Language Models (ICML 2023)

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

Last synced: 29 Nov 2024

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: 11 Nov 2024

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: 06 Jan 2025

https://github.com/zjunlp/easyinstruct

[ACL 2024] An Easy-to-use Instruction Processing Framework for LLMs.

api chain-of-thought chatgpt easyinstruct gpt gpt-3 in-context-learning instructions knowlm large-language-models llama multimodal prompt prompting pypy-library python reasoning tool

Last synced: 14 Apr 2025

https://github.com/zjunlp/EasyInstruct

[ACL 2024] An Easy-to-use Instruction Processing Framework for LLMs.

api chain-of-thought chatgpt easyinstruct gpt gpt-3 in-context-learning instructions knowlm large-language-models llama multimodal prompt prompting pypy-library python reasoning tool

Last synced: 18 Mar 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: 07 Apr 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: 09 Apr 2025

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: 02 Mar 2025

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

A codebase for "Language Models can Solve Computer Tasks"

large-language-models prompting reasoning

Last synced: 14 Apr 2025

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: 23 Jan 2025

https://github.com/typedb/typeql

TypeQL: the modern query language of TypeDB

database inference logic polymorphic polymorphism query query-language reasoning strongly-typed type-system typedb typeql

Last synced: 07 Apr 2025

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/declare-lab/reccon

This repository contains the dataset and the PyTorch implementations of the models from the paper Recognizing Emotion Cause in Conversations.

bert-model causal-inference causal-models causal-spans causality conversations dataset dialogue-generation dialogue-systems emotion emotion-cause emotion-cause-pair-extraction emotion-recognition emotion-recognition-in-conversation emotion-tasks inference natural-language-inference reasoning roberta

Last synced: 19 Dec 2024

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/eprover/eprover

atp prover reasoning

Last synced: 04 Apr 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/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: 19 Jan 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/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: 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/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 Dec 2024

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: 15 Mar 2025

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

Benchmarking Agentic LLM and VLM Reasoning On Games

agentic benchmark games llm reasoning vlm

Last synced: 06 Jan 2025

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

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

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

Last synced: 06 Feb 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: 26 Nov 2024

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: 02 Jan 2025

https://github.com/amanchadha/iperceive

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/para-droid-ai/scratchpad

Scratchpad

logic model reasoning scratchpad

Last synced: 26 Nov 2024

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: 11 Nov 2024

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

https://github.com/lupantech/iconqa

Data and code for NeurIPS 2021 Paper "IconQA: A New Benchmark for Abstract Diagram Understanding and Visual Language Reasoning".

commensense dataset mathai pytorch reasoning vqa

Last synced: 06 Apr 2025

https://github.com/lupantech/IconQA

Data and code for NeurIPS 2021 Paper "IconQA: A New Benchmark for Abstract Diagram Understanding and Visual Language Reasoning".

commensense dataset mathai pytorch reasoning vqa

Last synced: 12 Nov 2024

https://github.com/namin/biohacker

debugging biological networks to reach coherence, completeness and consistency

ai common-lisp expert-system metabolic-network ncats-translator reasoning truth-maintenance

Last synced: 14 Apr 2025

https://github.com/leoprover/leo-iii

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

atp deduction-system higher-order-logic logic reasoning theorem-proving

Last synced: 19 Dec 2024

https://github.com/luohongyin/langcode

LangCode - Improving alignment and reasoning of large language models (LLMs) with natural language embedded program (NLEP).

colab gpt4 jupyter-notebook llm nlep reasoning

Last synced: 30 Nov 2024

https://github.com/logikon-ai/logikon

Analyzing and scoring reasoning traces of LLMs

ai argument-mapping argument-mining argumentation critical-thinking explainable-ai llmops llms metrics mlops observability reasoning reasoning-agent reliable-ai

Last synced: 05 Apr 2025

https://github.com/IAAR-Shanghai/ICSFSurvey

A comprehensive survey on Internal Consistency and Self-Feedback in Large Language Models.

attention-head chain-of-thought data-augmentation decoding hallucination internal-consistency knowledge-distillation large-language-model large-language-models preference-learning reasoning self-consistency self-correct self-correction self-feedback self-improvement self-refine

Last synced: 31 Mar 2025

https://github.com/iaar-shanghai/icsfsurvey

A comprehensive survey on Internal Consistency and Self-Feedback in Large Language Models.

attention-head chain-of-thought data-augmentation decoding hallucination internal-consistency knowledge-distillation large-language-model large-language-models preference-learning reasoning self-consistency self-correct self-correction self-feedback self-improvement self-refine

Last synced: 06 Apr 2025

https://github.com/clement-bonnet/lpn

Latent Program Network (from the "Searching Latent Program Spaces" paper)

artificial-intelligence paper reasoning research

Last synced: 30 Jan 2025

https://github.com/woooodyy/self-polish

Codes for the EMNLP 2023 Findings paper "Self-Polish: Enhance Reasoning in Large Language Models via Problem Refining" by Zhiheng Xi, Senjie Jin, Yuhao Zhou, Rui Zheng, Songyang Gao, Tao Gui, Qi Zhang and Xuanjing Huang.

large-language-models nlp reasoning

Last synced: 23 Apr 2025

https://github.com/declare-lab/cider

This repository contains the dataset and the pytorch implementations of the models from the paper CIDER: Commonsense Inference for Dialogue Explanation and Reasoning. CIDER has been accepted to appear at SIGDIAL 2021.

commonsense-extraction commonsense-reasoning dialogue-systems natural-language-processing nli reasoning

Last synced: 14 Apr 2025

https://github.com/incatools/boomer

Bayesian OWL ontology merging

boomer geneontology monarchinitiative mondo obofoundry ontology-merging owl owl-ontology probabilistic-owl reasoning

Last synced: 01 Mar 2025

https://github.com/ai4ce/self-supervised-spare3d

[CVPR 2022] Self-supervised Spatial Reasoning on Multi-View Line Drawings

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

Last synced: 11 Apr 2025

https://github.com/hughplay/visual-reasoning-papers

📄 A curated list of visual reasoning papers.

awesome neural-symbolic-reasoning paper-list physical-reasoning reasoning visual-reasoning

Last synced: 19 Nov 2024

https://github.com/shibing624/thinking-intervention

Used for thinking process intervention of reasoning models such as DeepSeek-R1, effectively controlling the reasoning thinking process. 用于DeepSeek-R1等推理模型的思维过程干预，有效控制推理思考过程

llm reasoning reasoning-agent thinking-invervention

Last synced: 22 Apr 2025

https://github.com/astrabert/phiqwenstem

A reasoning assistant for your STEM education

ai datasets huggingface llm phi-3-5 qdrant qwen react reasoning research scientific stem vite websockets

Last synced: 15 Mar 2025

https://github.com/Scagin/NeuralLogicReasoning

An Implementation of NLR: Neural Collaborative Reasoning, paper: https://arxiv.org/abs/2005.08129

neural-network paper reasoning

Last synced: 28 Nov 2024

https://github.com/nicolay-r/bulk-chain

A no-string framework for reasoning over your tabular data rows with any provided LLM

bulk bulk-operation chain-of-thought chain-of-thought-reasoning chatgpt cot gpt inference llm pipeline reasoning spreadsheet sqlite3

Last synced: 15 Apr 2025

https://github.com/frankaging/reason-scan

ReaSCAN is a synthetic navigation task that requires models to reason about surroundings over syntactically difficult languages. (NeurIPS '21)

compositional-generalization reasoning

Last synced: 11 Nov 2024

https://github.com/thesethrose/agent-chat

An advanced AI-powered conversational agent leveraging the Llama 3.2 model and Phidata framework. Features include reasoning, natural language interaction, and tool integration for web searches and calculations. Designed for interactivity with enhanced logging, support for custom tools, and structured outputs.

ai asynchronous chatbot conversational-ai duckduckgo llama phidata python reasoning vector-database

Last synced: 11 Apr 2025

https://github.com/KnowledgeGraphJapan/KGRC-RDF

RDF data for Knowledge Graph Reasoning Challenge.

knowledge-graph rdf reasoning

Last synced: 11 Nov 2024

https://github.com/linkml/linkml-datalog

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.

constraints datalog linkml logic-programming rdf reasoning rule-language rules semantic-web semantics souffle-datalog-language validation

Last synced: 23 Apr 2025

https://github.com/corochann/chainer-saliency

Saliency calculation module for Chainer

chainer deep-learning reasoning

Last synced: 20 Feb 2025

https://github.com/chanind/tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

first-order-logic logic reasoning symbolic-logic theorem-proving

Last synced: 14 Apr 2025

https://github.com/xf-zhao/LoT

Official implementation of LoT paper: "Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic"

chain-of-thought chain-of-thought-prompting chain-of-thought-reasoning chain-of-thoughts coling coling2024 language language-model llm llms logic lot reasoning symbolic-logic symbolic-logic-reasoning zero-shot

Last synced: 16 Mar 2025

https://github.com/eliranwong/agentmake

AgentMake AI: a kit for developing agentic AI applications that support 16 AI backends and and work with 7 agentic components, such as tools and agents. (Developer: Eliran Wong) Supported backends: anthropic, azure, azure_any, cohere, custom, deepseek, genai, github, github_any, googleai, groq, llamacpp, mistral, ollama, openai, vertexai, xai

ai anthropic azure chatgpt claude cohere deepseek gemini genai googleai grok groq llama mistral ollama openai reasoning toolmate vertex-ai xai

Last synced: 11 Apr 2025

https://github.com/Bassem-Makni/NMT4RDFS

Neural Machine Translation for RDFS reasoning: code and datasets for "Deep learning for noise-tolerant RDFS reasoning" http://www.semantic-web-journal.net/content/deep-learning-noise-tolerant-rdfs-reasoning-4

deep-learning deep-neural-networks graph-words nmt nmt-model noise-tolerance rdf rdfs reasoning semantic-web sparql