Explore projects

2023-01 Project by Oscar Fickel and supervised by Peter Vangorp

This Microservice runs machine learning algorithms on query results.

This is a mirror of https://github.com/tomsmeding/efficient-chad-agda on UU-owned storage. This is the artifact for https://arxiv.org/abs/2307.05738 , submitted to POPL 2024.

This is a mirror of https://github.com/tomsmeding/ad-dualrev-th/tree/artifact on UU-owned storage. This is the artifact for https://dl.acm.org/doi/10.1145/3571247 .

Python package for legal case based reasoning based on a fortiori reasoning

A generic explainability architecture for explaining text machine learning models.

Generation base dependency

This code is unmaintained and relates to v0.x of GraphPolaris. Use frontent_v2 instead

Project by Oscar Alexander Kirschstein Schäfer

Project start: 12/2022 Supervised by Michael Behrisch and Yuncong Yu

2022 BSC project, Informing Sustainability Policymaking with Knowledge Graphs; Project done by Charles Klijnman , Supervised by Michael Behrisch

Containerized LOLA image for analyzing Petri nets via endpoint.