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. Learn more →
Top 15 Reasoning Open-Source Projects
-
-
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
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.
-
-
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 -
-
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.
-
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 -
-
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
-
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.
-
-
multimodal
A collection of multimodal datasets, and visual features for VQA and captionning in pytorch. Just run "pip install multimodal" (by cdancette)
-
-
-
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
- AGI frameworks
- How will artificial general intelligence come?
- 50 Years of Prolog and Beyond
- How to make/program an AI? Is it even possible?
- AI on the PC for fun
- Awesome-Rust-Formalized-Reasoning
- [P] multimodal: a library for VQA / vision and language research
-
A note from our sponsor - Mergify
blog.mergify.com | 29 Sep 2023
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