Reasoning

Top 15 Reasoning Open-Source Projects

  • grakn

    TypeDB: a polymorphic database powered by types

    Project mention: Datomic Is Now Free | news.ycombinator.com | 2023-04-27
  • Awesome-Prompt-Engineering

    This repository contains a hand-curated resources for Prompt Engineering with a focus on Generative Pre-trained Transformer (GPT), ChatGPT, PaLM etc

    Project mention: AI lessons | /r/ChatGPT | 2023-05-09

    Yes, there are a lot of different resources online, especially for generative AI. The Awesome Prompt Engineering github is probably a good place to start https://github.com/promptslab/Awesome-Prompt-Engineering. If you're focusing directly on OpenAI's models then the OpenAI Prompt Engineering Guide would be my recommendation https://help.openai.com/en/articles/6654000-best-practices-for-prompt-engineering-with-openai-api.

  • InfluxDB

    Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  • ReAct

    [ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models (by ysymyth)

    Project mention: ReAct Paper Code Release | /r/singularity | 2023-01-31
  • Protégé

    Protege Desktop

    Project mention: What's the "best" way to work with Apache Jena | /r/semanticweb | 2023-04-29

    Along those lines, not Jena but useful for playing with ideas is Protege, https://protege.stanford.edu/

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

    Project mention: "ThoughtSource is a central, open resource and community around data & tools related to chain-of-thought reasoning in large language models" (inner-monologue framework) | /r/GPT3 | 2023-01-12
  • LLM-Reasoning-Papers

    Collection of papers and resources on Reasoning in Large Language Models (LLMs), including Chain-of-Thought (CoT), Instruction-Tuning, and others.

    Project mention: Techbro says that GPT models will soon have over 9000 IQ in ~5 years | /r/SneerClub | 2023-05-04
  • math

    The MATH Dataset (NeurIPS 2021) (by hendrycks)

  • Mergify

    Updating dependencies is time-consuming.. Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.

  • pal

    PaL: Program-Aided Language Models (ICML 2023) (by reasoning-machines)

    Project mention: Prompt Engineering Guide: Guides, papers, and resources for prompt engineering | news.ycombinator.com | 2023-02-21

    Using the terminology that I'm working with this is an example of a second-order analytic augmentation!

    Here's another approach of second-order analytic augmentation, PAL: https://reasonwithpal.com

    And third-order, Toolformer: https://arxiv.org/abs/2302.04761

    The difference isn't in what is going on but rather with framing the approach within the analytic-synthetic distinction developed by Kant and the analytic philosophers who were influenced by his work. There's a dash of functional programming thrown in for good measure!

    I have scribbled on a print-out of the article on my desk:

      Nth Order

  • opennars

    OpenNARS for Research 3.0+

    Project mention: AGI frameworks | /r/agi | 2022-12-11
  • self-refine

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

    Project mention: ChemCrow: Augmenting large-language models with chemistry tools | news.ycombinator.com | 2023-04-17

    >the systems operation are well understood

    That's like saying human behavior is well understood because we know how neurons communicate signals. It's too low level to be useful, hence psychology.

    >They don't have the ability to reason or reflect.

    Yes they do

    https://selfrefine.info/

    https://arxiv.org/abs/2303.11366

  • 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.

  • OpenNARS-for-Applications

    General reasoning component for applications based on NARS theory.

  • multimodal

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

  • oko

    The oko reasoning engine is performing forward and backward chaining of n3p data.

  • thinkTogether

    A sharing and mutual aid platform based on graphs of our thoughts 💭

  • Sonar

    Write Clean Python Code. Always.. Sonar helps you commit clean code every time. With over 225 unique rules to find Python bugs, code smells & vulnerabilities, Sonar finds the issues while you focus on the work.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-05-09.

Reasoning related posts

Index

What are some of the best open-source Reasoning projects? This list will help you:

Project Stars
1 grakn 3,529
2 Awesome-Prompt-Engineering 2,179
3 ReAct 908
4 Protégé 871
5 ThoughtSource 736
6 LLM-Reasoning-Papers 559
7 math 488
8 pal 369
9 opennars 348
10 self-refine 323
11 awesome-rust-formalized-reasoning 227
12 OpenNARS-for-Applications 74
13 multimodal 70
14 oko 6
15 thinkTogether 1
Write Clean Python Code. Always.
Sonar helps you commit clean code every time. With over 225 unique rules to find Python bugs, code smells & vulnerabilities, Sonar finds the issues while you focus on the work.
www.sonarsource.com