99 results found Sort:

337
3.8k
mpl-2.0
119
TypeDB: the power of programming, in your database
Created 2016-07-11
6,849 commits to 3.0 branch, last one 17 hours ago
195
2.0k
mit
17
[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models
Created 2022-11-13
14 commits to master branch, last one about a year ago
Reasoning in Large Language Models: Papers and Resources, including Chain-of-Thought and OpenAI o1 🍓
Created 2022-11-05
165 commits to main branch, last one 14 days ago
141
1.5k
apache-2.0
15
Official implementation for "Automatic Chain of Thought Prompting in Large Language Models" (stay tuned & more will be updated)
Created 2022-10-05
21 commits to main branch, last one about a year ago
231
1.0k
other
81
Protege Desktop
Created 2013-08-20
4,165 commits to master branch, last one 9 days ago
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/
Created 2022-05-20
944 commits to main branch, last one about a year ago
85
881
mit
12
The MATH Dataset (NeurIPS 2021)
Created 2021-02-10
23 commits to main branch, last one 3 years ago
[Embodied-AI-Survey-2024] Paper list and projects for Embodied AI
Created 2024-06-07
175 commits to main branch, last one 6 days ago
Theory-of-mind powered AI tutor using o1 style reasoning
Created 2023-01-21
311 commits to main branch, last one 2 days ago
53
612
apache-2.0
13
LLMs can generate feedback on their work, use it to improve the output, and repeat this process iteratively.
Created 2023-03-28
122 commits to main branch, last one about a month ago
12
546
apache-2.0
12
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Created 2021-07-11
822 commits to main branch, last one 6 days ago
This repository contains a collection of papers and resources on Reasoning in Large Language Models.
Created 2022-12-20
25 commits to main branch, last one about a year ago
135
532
unknown
15
code and docs for my EMNLP paper "DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning"
Created 2017-07-08
15 commits to master branch, last one 4 years ago
59
470
apache-2.0
9
PaL: Program-Aided Language Models (ICML 2023)
Created 2022-11-18
61 commits to main branch, last one about a year ago
91
467
mit
16
Recognition to Cognition Networks (code for the model in "From Recognition to Cognition: Visual Commonsense Reasoning", CVPR 2019)
Created 2018-12-14
13 commits to master branch, last one 5 years ago
29
447
mit
10
Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs"
Created 2023-10-01
115 commits to main branch, last one 7 months ago
95
434
unknown
10
Recurrent Event Network: Autoregressive Structure Inference over Temporal Knowledge Graphs (EMNLP 2020)
Created 2019-04-08
90 commits to master branch, last one 2 years ago
OpenNARS for Research 3.0+
Created 2014-07-18
3,944 commits to master branch, last one 4 years ago
[ACL 2024] An Easy-to-use Instruction Processing Framework for LLMs.
Created 2023-03-07
200 commits to main branch, last one 22 hours ago
47
329
unknown
10
Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" (ICLR 2024)
Created 2023-09-06
118 commits to main branch, last one 2 months ago
Official Implementation of ICLR 2024 paper: "Reasoning on Graphs: Faithful and Interpretable Large Language Model Reasoning"
Created 2023-10-01
15 commits to master branch, last one 17 days ago
48
313
apache-2.0
9
[NeurIPS 2022] DRAGON 🐲: Deep Bidirectional Language-Knowledge Graph Pretraining
Created 2022-10-08
4 commits to main branch, last one about a year ago
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Created 2021-04-10
267 commits to main branch, last one 6 days ago
Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)
Created 2023-08-10
48 commits to main branch, last one about a month ago
Multi-Hop Logical Reasoning in Knowledge Graphs
Created 2020-10-22
7 commits to main branch, last one 3 years ago
Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"
Created 2024-06-24
19 commits to main branch, last one 3 months ago