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)

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

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/

OpenNARS for Research 3.0+

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

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

The MATH Dataset (NeurIPS 2021)

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

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

Multi-Hop Logical Reasoning in Knowledge Graphs

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

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

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

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