A `Neural = Symbolic` framework for sound and complete weighted real-value logic

TypeDB: the polymorphic database powered by types

A collection of research on knowledge graphs

Learn about Machine Learning and Artificial Intelligence

Protege Desktop

[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models

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

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

An Open-sourced Knowledgable Large Language Model Framework.

A Knowledge Base System for Cognition-enabled Robots

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

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

OpenNARS for Research 3.0+

🪁All the DSA(Data-Structures & Algorithms) 📒Concepts and 📏Implementations📐 |📈 FAANG Must Do Problems |🔰 CP |📑SDE Sheet's |🖊️ CSE Core Subjects(DBMS + MySql, OOP's, OS & CN) | ✏️Round 1(Aptitude, Logical Reasoning, Puzzle's, Programing MCQ's & Verbal ability) and 🃏Projects. || 🎯Aim :- Help 👨‍🚀Students who are preparing for SDE Interview's🏆.

The MATH Dataset (NeurIPS 2021)

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/

[ACL 2023] Reasoning with Language Model Prompting: A Survey

Reasoning in Large Language Models: Papers and Resources, including Chain-of-Thought, Instruction-Tuning and Multimodality.

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

Multi-Hop Logical Reasoning in Knowledge Graphs