The ADA research group is an international collaboration of researchers, mainly based at Leiden University, the Netherlands and the RWTH Aachen, Germany.
ADA research
The Automated Design of Algorithms research group
Popular repositories Loading
Repositories
Showing 10 of 45 repositories
- Sparkle Public
Sparkle is a Programming by Optimisation (PbO)-based problem-solving platform designed to enable the widespread and effective use of PbO techniques for improving the state-of-the-art in solving a broad range of prominent AI problems, including SAT and AI Planning.
ADA-research/Sparkle’s past year of commit activity - VERONA Public
A lightweight Python package for setting up adversarial robustness experiments and to compute robustness distributions. Standalone package implemets adversarial attacks. Can be extended with the ada-auto-verify plugin to enable complete verification.
ADA-research/VERONA’s past year of commit activity - eMMI Public
ADA-research/eMMI’s past year of commit activity - SMACIS Public
ADA-research/SMACIS’s past year of commit activity - CTRAIN Public
CTRAIN is a unified, modular and comprehensive package for certifiably training neural networks and evaluating their robustness.
ADA-research/CTRAIN’s past year of commit activity - PROSAIL-ill-posedness Public
Code repository for "Characterising the Ill-posedness of PROSAIL Inversion for Biophysical Parameter Retrieval"
ADA-research/PROSAIL-ill-posedness’s past year of commit activity - submitit Public Forked from facebookincubator/submitit
Python 3.8+ toolbox for submitting jobs to Slurm
ADA-research/submitit’s past year of commit activity - RunRunner Public
ADA-research/RunRunner’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…