ml-kuleuven Goto Github PK

ai-course-demos

Links to & implementations of demos for the course "Artificiële Intelligentie" at KU Leuven

amie

Automatic Monitoring of Indoor Exercises

betaproblog

catlog

Gradient estimation of discrete probabilistic models with the CatLog-Derivative trick

cobras

Interactive clustering with super-instances

comparative-evaluation-of-anomaly-detection-methods

Accompanying repository for the ODD workshop paper: "The Effect of Hyperparameter Tuning on the Comparative Evaluation of Anomaly Detection Methods"

count-cp

COUNT-CP is a constraint learner that uses a generate-and-aggregate approach to learn CP models

decaprio

Sequential model based optimization with adaptive capping and prior distributions

deepproblog

DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.

deepseaproblog

The official implementation of DeepSeaProbLog, a neural probabilistic logic programming language supporting discrete and continuous random variables.

deepstochlog

distributionalprogramsynthesis

etsy

Synchronize soccer event and tracking data

genlex

Implentation of a Semantic Parser that maps natural/instructional language to a logical expression.

hanoi

hassle-gen

This repository contains the code for our paper: Senne Berden, Mohit Kumar, Samuel Kolb, and Tias Guns (2022): Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation, CP 2022

incal

Learn SMT(LRA) constraints from data

jsdd

Java wrapper for the sdd 2.0 c library

kbc-as-pu-learning

Source code & appendices accompanying the AAAI2022 paper "Unifying Knowledge Base Completion with PU Learning to Mitigate the Observation Bias"

learnsdd

Implementation of the Structure Learning Algorithm for Sentential Decision Diagrams

locomotif

LoCoMotif is a time series motif discovery method that discovers variable-length motif sets in multivariate time series using time warping

mapl-cirup

MArkov PLanning with CIRcuit bellman UPdates

ml-project-2021-2022

Template and instructions to submit a solution for the assignment.

ml-project-2023-2024

Template and instructions to submit a solution for the assignment for the KU Leuven course ML Project

ocus-explain

Efficient Explaining CSPs with Unsatisfiable Subset Optimization

problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

psipy

Python wrapper for the PSI-Solver (probabilistic symbolic inference)

psyche

pu-problog

py-dreaml

Python package of DreaML for relational mixed discrete-continuous learning and inference