100 results found Sort:

338
3.8k
mpl-2.0
119
TypeDB: the power of programming, in your database
Created 2016-07-11
6,885 commits to 3.0 branch, last one a day ago
212
2.1k
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
167 commits to main branch, last one 4 days ago
145
1.6k
apache-2.0
16
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 23 days ago
86
898
mit
12
The MATH Dataset (NeurIPS 2021)
Created 2021-02-10
23 commits to main branch, last one 3 years 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
[Embodied-AI-Survey-2024] Paper list and projects for Embodied AI
Created 2024-06-07
176 commits to main branch, last one 2 days ago
Theory-of-mind powered AI tutor using o1 style reasoning
Created 2023-01-21
313 commits to main branch, last one a day ago
53
626
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
552
apache-2.0
13
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Created 2021-07-11
824 commits to main branch, last one 12 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
535
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
474
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
466
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
448
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 8 months ago
95
436
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 15 days ago
47
333
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 about a month ago
48
314
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
270 commits to main branch, last one 5 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 2 months 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 4 months ago
Multi-Hop Logical Reasoning in Knowledge Graphs
Created 2020-10-22
7 commits to main branch, last one 3 years ago