This fork is focused on revitalizing SATenstein, a program built on top of UBCSAT to synthesize novel SLS solvers by putting together components of existing algorithms.

[ICLR'22] [KDD'22] [IJCAI'24] Implementation of "Graph Condensation for Graph Neural Networks"

SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization

Python package for Gower distance

Seamlessly integrate LLMs into scikit-learn.

This package is used to analyse datasets of different HPO-algorithms performing on multiple benchmarks, using a Linear Mixed-Effects Model-based approach.

Classification supervised PCA in accordance with Yehuda Koren and Liran Carmel

An interactive framework to visualize and analyze your AutoML process in real-time.

Replication package for submission to SAT24 conference

Domain specific language for configuration spaces in Python. Useful for hyperparameter optimization and algorithm configuration.

Python implementation of "Explaining Hyperparameter Optimization with PDPs" (https://arxiv.org/abs/2111.04820)

A Comprehensive Toolkit for High-Quality PDF Content Extraction

CaDiCaL SAT Solver

A Framework for Comparing N Hyperparameter Optimizers on M Benchmarks.

Combining tree-boosting with Gaussian process and mixed effects models

SATZilla SAT feature extraction tool

GoSlurmMailer - drop in replacement for default slurm MailProg. Delivers slurm job messages to various destinations.

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…

An open-source academic paper management tool.

Python implementation of the Hydra algorithm for portfolio construction

Code for the automation of the VNN-COMP, used in 2022

An extension of XGBoost to probabilistic modelling

Convex Layerwise Adversarial Training (COLT)

The Stochastic Local Search SAT Solver from UBC

PbO-CCSAT is a highly configurable stochastic local search solver for solving propositional satisfiability (SAT).