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