107 results found Sort:
- Filter by Primary Language:
- Python (63)
- Jupyter Notebook (8)
- Java (3)
- JavaScript (3)
- TypeScript (3)
- HTML (3)
- C++ (2)
- Rust (2)
- C (2)
- +
TypeDB: the power of programming, in your database
Created
2016-07-11
6,940 commits to 3.0 branch, last one a day ago
[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
173 commits to main branch, last one 4 days ago
A collection of research on knowledge graphs
Created
2019-01-02
73 commits to master branch, last one 2 years ago
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
An Open-sourced Knowledgable Large Language Model Framework.
Created
2023-04-01
537 commits to main branch, last one 5 months ago
Protege Desktop
Created
2013-08-20
4,165 commits to master branch, last one about a month ago
The MATH Dataset (NeurIPS 2021)
Created
2021-02-10
23 commits to main branch, last one 3 years ago
Learn about Machine Learning and Artificial Intelligence
Created
2016-04-22
181 commits to master branch, last one 2 years ago
[Embodied-AI-Survey-2024] Paper list and projects for Embodied AI
Created
2024-06-07
180 commits to main branch, last one 5 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
945 commits to main branch, last one 5 days ago
[ACL 2023] Reasoning with Language Model Prompting: A Survey
Created
2022-09-14
143 commits to main branch, last one about a month ago
Theory-of-mind powered AI tutor using o1 style reasoning
Created
2023-01-21
324 commits to main branch, last one 4 days ago
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 2 months ago
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Created
2021-07-11
827 commits to main branch, last one 2 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
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
PaL: Program-Aided Language Models (ICML 2023)
Created
2022-11-18
61 commits to main branch, last one about a year ago
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
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 9 months ago
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
201 commits to main branch, last one 10 days ago
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 3 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 2 months ago
[NeurIPS 2022] DRAGON 🐲: Deep Bidirectional Language-Knowledge Graph Pretraining
Created
2022-10-08
4 commits to main branch, last one about a year 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 5 months 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
274 commits to main branch, last one 7 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 3 months ago
Multi-Hop Logical Reasoning in Knowledge Graphs
Created
2020-10-22
7 commits to main branch, last one 3 years ago