reasoning

TypeDB: a strongly-typed database

A collection of research on knowledge graphs

Learn about Machine Learning and Artificial Intelligence

Protege Desktop

code and docs for my EMNLP paper "DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning"

Recognition to Cognition Networks (code for the model in "From Recognition to Cognition: Visual Commonsense Reasoning", CVPR 2019)

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/

Recurrent Event Network: Autoregressive Structure Inference over Temporal Knowledge Graphs (EMNLP 2020)

Official implementation for "Automatic Chain of Thought Prompting in Large Language Models" (stay tuned & more will be updated)

OpenNARS for Research 3.0+

The MATH Dataset (NeurIPS 2021)

Semantic filesystem for Linux, with relation reasoner, autotagging plugins and a deduplication service

Knowledge-Aware Graph Networks for Commonsense Reasoning (EMNLP-IJCNLP 19)

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

This repository contains a collection of papers and resources on Reasoning in Large Language Models.

Multi-Hop Logical Reasoning in Knowledge Graphs

Repository for the paper "Reasoning with Language Model Prompting: A Survey".

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

PaL: Program-Aided Language Models

TypeQL: the query language of TypeDB - a strongly-typed database