Skip to content

@ADA-research ADA research

Change the repository type filter

All

    Repositories list

    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.
      aialgorithm-selectionalgorithm-configuration
      Python
      •
      MIT License
      •3•7•8•3•Updated Jan 17, 2025Jan 17, 2025

    • .github

      Public
      Group information repository
      MIT License
      •0•0•0•0•Updated Jan 16, 2025Jan 16, 2025

    • ComicFairForest

      Public
      CSS
      •
      Creative Commons Attribution Share Alike 4.0 International
      •1•2•0•0•Updated Jan 13, 2025Jan 13, 2025

    • nnv-bound-configuration

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •65•0•0•0•Updated Jan 7, 2025Jan 7, 2025

    • BaB_DynTerm

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Jan 4, 2025Jan 4, 2025

    • RunRunner

      Public
      Python
      •0•1•0•0•Updated Dec 20, 2024Dec 20, 2024

    • OverfittingCASH

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • NNV_JAIR_robustness_distributions

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 27, 2024Nov 27, 2024

    • VERONA

      Public
      Python
      •
      Apache License 2.0
      •0•3•6•1•Updated Oct 22, 2024Oct 22, 2024

    • nn-verification-assessment

      Public
      The companion repository to the paper 'Critically Assessing the State of the Art in Neural Network Verification'
      0•0•0•0•Updated Oct 21, 2024Oct 21, 2024

    • submitit

      Public
      Python 3.8+ toolbox for submitting jobs to Slurm
      Python
      •
      MIT License
      •131•1•0•0•Updated Oct 8, 2024Oct 8, 2024

    • Predicting-illegal-ship-breaking-via-fairness-aware-classifier-optimisation

      Public
      Python
      •1•0•0•0•Updated Sep 15, 2024Sep 15, 2024

    • graphclusterpool

      Public
      Research project
      Python
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • VPint2

      Public
      Repository for VPint2, including application to Sentinel-2 cloud removal
      Python
      •
      GNU General Public License v3.0
      •0•2•1•0•Updated Aug 17, 2024Aug 17, 2024

    • auto-verify

      Public
      Portfolio-based verification of neural network properties
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •2•8•3•14•Updated Aug 5, 2024Aug 5, 2024

    • combined_hpo_and_reward_shaping

      Public
      Python
      •0•6•0•0•Updated Jul 28, 2024Jul 28, 2024

    • spatiotemporal-methane-plume-artefact-analysis

      Public
      Python
      •0•0•0•0•Updated Jul 8, 2024Jul 8, 2024

    • e_drift

      Public
      Python
      •0•0•0•0•Updated Jul 7, 2024Jul 7, 2024

    • gasten

      Public
      Generative Adversarial Stress Test Networks
      Python
      •
      Other
      •4•0•0•0•Updated Jul 6, 2024Jul 6, 2024

    • website-template.github.io

      Public
      ADA website template with automated deploy through Jekyll/Github Pages
      TeX
      •0•0•0•0•Updated May 31, 2024May 31, 2024

    • AutoCD

      Public
      Jupyter Notebook
      •1•0•0•0•Updated Apr 11, 2024Apr 11, 2024

    • data-centric-meta-learning

      Public
      Python
      •1•0•0•0•Updated Apr 6, 2024Apr 6, 2024

    • AIM-thesis

      Public
      Thesis template of AIM
      TeX
      •0•1•0•0•Updated Feb 13, 2024Feb 13, 2024

    • BSc-AutoML4SeaIce

      Public
      Python
      •1•0•0•0•Updated Feb 9, 2024Feb 9, 2024

    • context-group-detection

      Public
      Python
      •0•1•0•0•Updated Nov 25, 2023Nov 25, 2023

    • LLM_resource_constraint_NAS

      Public
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Nov 22, 2023Nov 22, 2023

    • LearningCurveExtrapolationSettings

      Public
      Research code provided with the paper "Learning curve extrapolation techniques across extrapolation settings" (Kielhofer, Mohr, van Rijn)
      Jupyter Notebook
      •1•0•0•0•Updated Nov 18, 2023Nov 18, 2023

    • jekyll-theme-ada

      Public
      Jekyll website theme for ADA-related websites
      HTML
      •
      MIT License
      •0•0•0•0•Updated Jun 14, 2023Jun 14, 2023

    • TheBiggerFish

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•1•0•Updated Jun 1, 2023Jun 1, 2023

    • AIM-presentation

      Public
      Presentation slides template of AIM
      TeX
      •0•1•0•0•Updated Mar 17, 2023Mar 17, 2023