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. auto-verify auto-verify Public

    Portfolio-based verification of neural network properties

    Python 8 2

  2. AutoML4HybridEarthScienceModels AutoML4HybridEarthScienceModels Public

    Jupyter Notebook 7 2

  3. 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

  4. combined_hpo_and_reward_shaping combined_hpo_and_reward_shaping Public

    Python 6

  5. VERONA VERONA Public

    Python 3

  6. TheBiggerFish TheBiggerFish Public

    Python 2

Repositories

Showing 10 of 37 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 8 (1 issue needs help) 3 Updated Jan 17, 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
  • nnv-bound-configuration Public Forked from Verified-Intelligence/alpha-beta-CROWN
    ADA-research/nnv-bound-configuration’s past year of commit activity
    Python 0 BSD-3-Clause 65 0 0 Updated Jan 7, 2025
  • BaB_DynTerm Public
    ADA-research/BaB_DynTerm’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jan 4, 2025
  • RunRunner Public
    ADA-research/RunRunner’s past year of commit activity
    Python 1 0 0 0 Updated Dec 20, 2024
  • OverfittingCASH Public
    ADA-research/OverfittingCASH’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Nov 28, 2024
  • NNV_JAIR_robustness_distributions Public
    ADA-research/NNV_JAIR_robustness_distributions’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Nov 27, 2024
  • VERONA Public
    ADA-research/VERONA’s past year of commit activity
    Python 3 Apache-2.0 0 6 1 Updated Oct 22, 2024
  • nn-verification-assessment Public

    The companion repository to the paper 'Critically Assessing the State of the Art in Neural Network Verification'

    ADA-research/nn-verification-assessment’s past year of commit activity
    0 0 0 0 Updated Oct 21, 2024
View all repositories

Most used topics

Loading…