"reasoning" Awesome Lists
Awesome-LLM-Reasoning
Reasoning in LLMs: Papers and Resources, including Chain-of-Thought, OpenAI o1, and DeepSeek-R1 🍓
awesome chain-of-thought chatgpt cot deepseek deepseek-r1 gpt gpt-4o in-context-learning language-models
3,038 stars
173 forks
161 projects
Last updated: 06 May 2025
knowledge-graphs
A collection of research on knowledge graphs
commonsense cross-modal dialogue-systems information-retrieval knowledge-graph knowledge-graph-completion meta-relational-learning natural-language-processing ner paper
1,737 stars
295 forks
42 projects
Last updated: 24 Apr 2025
Awesome-System2-Reasoning-LLM
Latest Advances on System-2 Reasoning
benchmark macro-action mcts o1 o3 prm r1 reasoning rl self-improve
975 stars
44 forks
410 projects
Last updated: 01 May 2025
Awesome-Reasoning-Foundation-Models
✨✨Latest Papers and Benchmarks in Reasoning with Foundation Models
foundation-models llm llm-reasoning multimodal reasoning reasoning-agent reasoning-language-models
571 stars
56 forks
987 projects
Last updated: 03 May 2025
LM-reasoning
This repository contains a collection of papers and resources on Reasoning in Large Language Models.
artificial-intelligence awesome-list chain-of-thought chatgpt deductive-reasoning gpt-3 human-intelligence in-context-learning language-modeling language-models
564 stars
35 forks
69 projects
Last updated: 04 May 2025
awesome-rl-reasoning-recipes
Awesome RL Reasoning Recipes ("Triple R")
awesome-list deepseek-r1 llm open-source reasoning rl
447 stars
25 forks
183 projects
Last updated: 25 Apr 2025
awesome-deep-reasoning
Collect every awesome work about r1!
collection deepseek grpo o1 qwen r1 reasoning rl
353 stars
10 forks
130 projects
Last updated: 02 May 2025
awesome-rust-formalized-reasoning
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
332 stars
11 forks
662 projects
Last updated: 22 Apr 2025
Awesome_Efficient_LRM_Reasoning
😎 A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, and Beyond
chain-of-thought claude cot efficient efficient-reasoning hybrid-model long-cot lrm mamba o3
202 stars
5 forks
133 projects
Last updated: 28 Apr 2025
Awesome-LLM-Self-Consistency
Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models
chain-of-thought chatgpt compositional-consistency factual-consistency gpt-3 gpt-4 hypothetical-consistency llms llms-reasoning logical-consistency
96 stars
7 forks
45 projects
Last updated: 29 Mar 2025
Awesome-LLM-reasoning
A curated paper list on LLM reasoning.
awesome-list llm paper-list reasoning
86 stars
5 forks
34 projects
Last updated: 20 Mar 2025
Awesome-LLM-Reasoning-with-NeSy
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
artificial-intelligence awesome deepseek-r1 embodied-ai first-order-logic gpt-4o knowledge-graph large-language-models llm-agent logic-programming
74 stars
4 forks
232 projects
Last updated: 01 May 2025
awesome-agentic-search
🔍 Awesome Agentic Search is a curated list of papers, tools, and resources on agentic search—where AI agents plan, search, and reason to answer complex questions. Explore the latest research, benchmarks, and industry solutions for next-gen search-enhanced AI! 🤖✨
28 stars
2 forks
36 projects
Last updated: 16 Jun 2025
awesome-code-benchmark
A comprehensive code domain benchmark review of LLM researches.
awesome benchmarks bug-fixing code-completion code-efficiency code-generation codellm codellms data-science llm-benchmarking
10 stars
3 forks
231 projects
Last updated: 25 Apr 2025