Skip to content
@ADA-research

ADA research

The Automated Design of Algorithms research group
README.md

ADA Research Group

The ADA research group is an international collaboration of researchers, mainly based at Leiden University, the Netherlands and the RWTH Aachen, Germany.

Popular repositories Loading

  1. VERONA VERONA Public

    Python 30 1

  2. auto-verify auto-verify Public

    Portfolio-based verification of neural network properties

    Python 9 2

  3. AutoML4HybridEarthScienceModels AutoML4HybridEarthScienceModels Public

    Jupyter Notebook 7 2

  4. Sparkle 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 b…

    Python 7 3

  5. combined_hpo_and_reward_shaping combined_hpo_and_reward_shaping Public

    Python 6

  6. CTRAIN CTRAIN Public

    CTRAIN is a unified, modular and comprehensive package for certifiably training neural networks and evaluating their robustness.

    Python 4 1

Repositories

Showing 10 of 39 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
    Python 7 MIT 3 2 (1 issue needs help) 1 Updated Feb 27, 2025
  • Robustness-Estimation-Experiments Public

    Repository for the experiment setup of the Robustness Estimation Project

    ADA-research/Robustness-Estimation-Experiments’s past year of commit activity
    Python 1 0 0 0 Updated Feb 27, 2025
  • RunRunner Public
    ADA-research/RunRunner’s past year of commit activity
    Python 1 0 0 0 Updated Feb 26, 2025
  • VERONA Public
    ADA-research/VERONA’s past year of commit activity
    Python 30 Apache-2.0 1 8 1 Updated Feb 24, 2025
  • OverfittingCASH Public
    ADA-research/OverfittingCASH’s past year of commit activity
    Python 0 0 0 0 Updated Feb 21, 2025
  • NNV_JAIR_robustness_distributions Public
    ADA-research/NNV_JAIR_robustness_distributions’s past year of commit activity
    Python 2 Apache-2.0 0 0 0 Updated Feb 20, 2025
  • 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
    Python 4 MIT 1 0 0 Updated Feb 19, 2025
  • AIM-presentation Public

    Presentation slides template of AIM

    ADA-research/AIM-presentation’s past year of commit activity
    TeX 1 0 0 0 Updated Feb 10, 2025
  • .github Public

    Group information repository

    ADA-research/.github’s past year of commit activity
    0 MIT 0 0 0 Updated Jan 16, 2025
  • ComicFairForest Public
    ADA-research/ComicFairForest’s past year of commit activity
    CSS 2 CC-BY-SA-4.0 1 0 0 Updated Jan 13, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…