An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
-
Updated
May 30, 2024
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Protege Desktop
TypeQL: the polymorphic query language of TypeDB
🪁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: the polymorphic database powered by types
mCoT: Multilingual Instruction Tuning for Reasoning Consistency in Language Models (ACL 2024)
KnowAgent: Knowledge-Augmented Planning for LLM-Based Agents
Reasoning Engine for Neuro-Symbolic AI
General reasoning component for applications based on NARS theory.
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 📊
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
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."