KnowAgent: Knowledge-Augmented Planning for LLM-Based Agents
-
Updated
May 26, 2024 - Python
KnowAgent: Knowledge-Augmented Planning for LLM-Based Agents
🪁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🏆.
Protege Desktop
Reasoning Engine for Neuro-Symbolic AI
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
General reasoning component for applications based on NARS theory.
TypeQL: the polymorphic query language of TypeDB
A Knowledge Base System for Cognition-enabled Robots
Monorepo for the client, server, etc. of the Debate Map website.
a curated list of data for reasoning ai
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 📊
TypeDB: the polymorphic database powered by types
A Non-Axiomatic Reasoning System implemented in Python
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
Official Implementation of ACL2024 paper "Direct Evaluation of Chain-of-Thought in Multi-hop Reasoning with Knowledge Graphs"(https://arxiv.org/abs/2402.11199).
[EMNLP 2023, Findings] GRACE: Discriminator-Guided Chain-of-Thought Reasoning
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Library and application for encoding non-classical logics into classical higher-order logic.
Add a description, image, and links to the reasoning topic page so that developers can more easily learn about it.
To associate your repository with the reasoning topic, visit your repo's landing page and select "manage topics."