There are 0 repository under reasoning-machine topic.
About The corresponding code from our paper " REFINER: Reasoning Feedback on Intermediate Representations" (EACL 2024). Do not hesitate to open an issue if you run into any trouble!
Example for how to 'program' reasoning and for LLM-based knowledge work, using Cursor.so
Final project for the course of Human Robot Interaction and Reasoning Agents 2021/2022.
A functional knowledge base of popular contracts utilized in GitHub. Built for a class project in Knowledge Reasoning and Representation (KRR).
Machina Ratiocinatrix
PyTorch Implementation of Relation Network on Sort-of-CLEVR Dataset
B specification of a Spaceship & Asteroids Game, using the B tools Atelier B & ProB.
D'Arcy Thompson's Reasoning Machine