mpi-sws Goto Github PK

adiff

Tool for differentially testing soundness and precision of program analyzers

bran

Static analysis framework for EVM bytecode

cfact-inference-second-opinions

Code for "Counterfactual Inference of Second Opinions", available at arXiv.

clockwork

Official GitHub mirror of Clockwork repository (https://gitlab.mpi-sws.org/cld/ml/clockwork/).

counterfactual-continuous-mdp

Code for "Finding Counterfactually Optimal Action Sequences in Continuous State Spaces", Arxiv 2023.

counterfactual-explanations-mdp

Code for "Counterfactual Explanations in Sequential Decision Making Under Uncertainty", NeurIPS 2021

counterfactual-prediction-sets

Code for "Designing Decision Support Systems Using Counterfactual Prediction Sets". Arxiv 2023.

counterfactual-tpp

Code and real data for the paper "Counterfactual Temporal Point Processes", available at arXiv.

daisy

A framework for analysis and optimization of numerical programs

deepsearch

Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"

differentiable-learning-under-triage

Code and real data for "Differentiable Learning Under Triage", arXiv:2103.08902.

diffix-tools

Various tools to help analysts get the best use of Diffix

disease-control

Code and data for "Stochastic Optimal Control of Epidemic Processes in Networks", ML4H at NeurIPS 2018

fair-classification

Python code for training fair logistic regression classifiers.

fair-decisions

Fair decisions despite imperfect predictions

genmc

Generic model checker for concurrent C programs (mirror repository)

hdhp.py

Hierarchical Dirichlet-Hawkes process: generative model and inference algorithm

human-aligned-calibration

Code for Experiments in "Human-Aligned Calibration for AI-Assisted Decision Making"

improve-expert-predictions-conformal-prediction

Code for "Provably Improving Expert Predictions with Conformal Prediction" , arXiv:2201.12006

improve-screening-via-calibrated-subset-selection

kater

Automating weak memory model metatheory and consistency checking (mirror repository)

memorize

Code and real data for "Enhancing Human Learning via Spaced Repetition Optimization", PNAS 2019

nevae

Code and data for "NeVAE: A Deep Generative Model for Molecular Graphs", AAAI 2019

np-schedulability-analysis

An implementation of the Nasri & Brandenburg (2017) schedulability test for non-preemptive job sets

pgcd

Robot Programming and Verification with Geometry, Concurrency, and Dynamics

pooled-testing

Code for "Pooled Testing of Traced Contacts Under Superspreading Dynamics", preliminary version at https://arxiv.org/abs/2106.15988

prediction-powered-ranking

redqueen

RedQueen: An Online Algorithm for Smart Broadcasting on Social Networks

regression-under-assistance

Code and data for "Regression under human assistance", AAAI 2020

simulator

Simulator for the spatiotemporal model for Covid-19