Reasoning

Open-source projects categorized as Reasoning
Edit details
Language: + Python + Java + Jupyter Notebook + HTML + C + Rust + JavaScript
Topics: large-language-models Logic prompting question-answering reasoner
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
Sponsored

Top 19 Reasoning Open-Source Projects

  • grakn

    TypeDB: the polymorphic database powered by types

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

  • ReAct

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

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • Awesome-LLM-Reasoning

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

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

  • Protégé

    Protege Desktop

    • Project mention: Protégé: A free, open-source ontology editor for building intelligent systems | /r/hypeurls | 2023-11-12

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

  • math

    The MATH Dataset (NeurIPS 2021) (by hendrycks)

  • self-refine

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

    • Project mention: Self-Refine: Iterative Refinement with Self-Feedback | news.ycombinator.com | 2023-11-23

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo

  • pal

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

  • lumos

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

    • Project mention: Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs | news.ycombinator.com | 2024-04-01

    Guess you are looking for this - https://github.com/allenai/lumos/blob/main/README.md

  • opennars

    OpenNARS for Research 3.0+

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

  • rci-agent

    A codebase for "Language Models can Solve Computer Tasks"

    • Project mention: Language Models Can Solve Computer Tasks | news.ycombinator.com | 2024-01-13

  • OpenNARS-for-Applications

    General reasoning component for applications based on NARS theory.

  • awesome-reasoning

    a curated list of data for reasoning ai

    • Project mention: GitHub: Awesome-reasoning, a curated list of datasets for reasoning AIs | news.ycombinator.com | 2024-04-16

  • multimodal

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

  • roxi

    Reactive Reasoning

    • Project mention: GDlog: A GPU-Accelerated Deductive Engine | news.ycombinator.com | 2023-12-03

    https://github.com/topics/datalog?l=rust ... Cozo, Crepe

    Crepe: https://github.com/ekzhang/crepe :

    > Crepe is a library that allows you to write declarative logic programs in Rust, with a Datalog-like syntax. It provides a procedural macro that generates efficient, safe code and interoperates seamlessly with Rust programs.

    Looks like there's not yet a Python grammar for the treeedb tree-sitter: https://github.com/langston-barrett/treeedb :

    > Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

    Looks like roxi supports n3, which adds `=>` "implies" to the Turtle lightweight RDF representation: https://github.com/pbonte/roxi

    FWIW rdflib/owl-rl: https://owl-rl.readthedocs.io/en/latest/owlrl.html :

    > simple forward chaining rules are used to extend (recursively) the incoming graph with all triples that the rule sets permit (ie, the “deductive closure” of the graph is computed).

    ForwardChainingStore and BackwardChainingStore implementations w/ rdflib in Python: https://github.com/RDFLib/FuXi/issues/15

    Fast CUDA hashmaps

    Gdlog is built on CuCollections.

    GPU HashMap libs to benchmark: Warpcore, CuCollections,

    https://github.com/NVIDIA/cuCollections

    https://github.com/NVIDIA/cccl

    https://github.com/sleeepyjack/warpcore

    /? Rocm HashMap

    DeMoriarty/DOKsparse:

  • meta-prompting

    Official implementation of BGPT @ ICLR 2024 paper "Meta Prompting for AI Systems" (https://arxiv.org/abs/2311.11482)

    • Project mention: Meta Prompting for AGI Systems | news.ycombinator.com | 2024-02-29

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

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
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).

Reasoning related posts

Index

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

Project Stars
1 grakn 3,669
2 ReAct 1,557
3 Awesome-LLM-Reasoning 1,062
4 Protégé 944
5 ThoughtSource 832
6 math 706
7 self-refine 476
8 pal 434
9 lumos 406
10 opennars 369
11 awesome-rust-formalized-reasoning 263
12 rci-agent 204
13 OpenNARS-for-Applications 85
14 awesome-reasoning 81
15 multimodal 70
16 roxi 33
17 meta-prompting 27
18 oko 6
19 thinkTogether 1

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com