72 results found Sort:
- Filter by Primary Language:
- Python (40)
- Jupyter Notebook (4)
- Java (4)
- JavaScript (3)
- TypeScript (2)
- C++ (2)
- HTML (2)
- C (2)
- Rust (1)
- +
TypeDB: the polymorphic database powered by types
Created
2016-07-11
6,605 commits to development branch, last one 2 days ago
[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models
Created
2022-11-13
14 commits to master branch, last one 11 months ago
A collection of research on knowledge graphs
Created
2019-01-02
73 commits to master branch, last one about a year 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
Reasoning in Large Language Models: Papers and Resources, including Chain-of-Thought, Instruction-Tuning and Multimodality.
Created
2022-11-05
132 commits to main branch, last one 24 days ago
An Open-sourced Knowledgable Large Language Model Framework.
Created
2023-04-01
537 commits to main branch, last one a day ago
Protege Desktop
Created
2013-08-20
4,153 commits to master branch, last one 8 days ago
Learn about Machine Learning and Artificial Intelligence
Created
2016-04-22
181 commits to master branch, last one 2 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 11 months ago
[ACL 2023] Reasoning with Language Model Prompting: A Survey
Created
2022-09-14
139 commits to main branch, last one 3 months ago
The MATH Dataset (NeurIPS 2021)
Created
2021-02-10
23 commits to main branch, last one 2 years ago
LLMs can generate feedback on their work, use it to improve the output, and repeat this process iteratively.
Created
2023-03-28
120 commits to main branch, last one 5 months 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
Neuro-Symbolic AI with Declarative Logic
Created
2021-07-11
789 commits to main branch, last one 7 days 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
PaL: Program-Aided Language Models (ICML 2023)
Created
2022-11-18
61 commits to main branch, last one 12 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
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 3 months ago
OpenNARS for Research 3.0+
Created
2014-07-18
3,944 commits to master branch, last one 3 years ago
[ACL 2024] An Easy-to-use Instruction Processing Framework for LLMs.
Created
2023-03-07
181 commits to main branch, last one 22 days 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
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
252 commits to main branch, last one 11 days ago
Multi-Hop Logical Reasoning in Knowledge Graphs
Created
2020-10-22
7 commits to main branch, last one 2 years ago
Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)
Created
2023-08-10
47 commits to main branch, last one 24 days ago
FireAct: Toward Language Agent Fine-tuning
Created
2023-10-07
26 commits to main branch, last one 8 months ago
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Created
2021-11-26
109 commits to master branch, last one about a year ago
TypeQL: the polymorphic query language of TypeDB
Created
2019-02-16
984 commits to development branch, last one 2 days ago
A codebase for "Language Models can Solve Computer Tasks"
Created
2023-04-02
1 commits to main branch, last one about a month ago
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
Created
2020-01-04
33 commits to master branch, last one 3 months ago
Official implementation of Neural Bellman-Ford Networks (NeurIPS 2021)
Created
2021-11-22
7 commits to master branch, last one 10 months ago