Vital A.I. Agent Ecosystem

A Knowledge Base System for Cognition-enabled Robots

A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.

[Embodied-AI-Survey-2024] Paper list and projects for Embodied AI

🪁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🏆.

TypeDB: one giant leap for databases

General reasoning component for applications based on NARS theory.

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍

Llama-3-SynE: A Significantly Enhanced Version of Llama-3 with Advanced Scientific Reasoning and Chinese Language Capabilities | 继续预训练提升 Llama-3 的科学推理和中文能力

This repository highlights the LLMs reasoning capabilities of ✨ Mistral / LLaMA-3 / Phi-3 / Gemma / Flan-T5 / GPT-4o ✨ in Targeted Sentiment Analysis in Russian / Translated to English mass-media 📊

Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models

Toolset for checking differences in recognising semantic relation presence by: (1) large language models 🤖 and (2) annotators / experts ✍️

Reactive Reasoning

A repository containing a collection of practice questions and solutions related to Accenture's technical and aptitude assessments.

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 modern query language of TypeDB

An OWL ontology describing events, characters and places in the Star Wars Universe

CompBench evaluates the comparative reasoning of multimodal large language models (MLLMs) with 40K image pairs and questions across 8 dimensions of relative comparison: visual attribute, existence, state, emotion, temporality, spatiality, quantity, and quality. CompBench covers diverse visual domains, including animals, fashion, sports, and scenes.

Summer training programs are specialized educational or professional development courses conducted during the summer break. They are designed to provide participants, typically students or early-career professionals, with practical experience and skills in specific fields. 😎🥰🚅🚄

Common Lisp port of Doug Lenat's EURISKO