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
-
auto-verify
auto-verify PublicAuto-Verify is a framework for neural network verification, that allows you to install, configure and Neural Network verifiers in parallel portfolios
-
-
Repositories
Showing 10 of 60 repositories
- ac_abcrown Public
ADA-research/ac_abcrown’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 - maclean-missing-pixels Public
Mitigating representation bias caused by missing pixels in methane plume detection. This page accompanies the MACLEAN publication, code hosted at https://github.com/JuliaWasala/maclean-fair-ml-for-missing-pixels.
ADA-research/maclean-missing-pixels’s past year of commit activity - 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 - msc-thesis-lorenzo Public Forked from lorenzomadiai/msc-thesis
Adaptive Risk-Aware Reinforcement Learning framework for time-constrained environments. This MSc thesis studies how RL agents dynamically switch between conservative and aggressive policies based on mission time and risk conditions, combining SafeRL, CVaR-based constraints, and hierarchical policy switching in Safety Gym.
ADA-research/msc-thesis-lorenzo’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
Top languages
Loading…
Most used topics
Loading…