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!

Coarse-to-Fine Reasoning for Visual Question Answering (CVPRW'22)

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).

B specification of a Spaceship & Asteroids Game, using the B tools Atelier B & ProB.

PyTorch Implementation of Relation Network on Sort-of-CLEVR Dataset

D'Arcy Thompson's Reasoning Machine