algorithm-selection

MATLAB toolkit for Instance Space Analysis: an automated PRELIM-SIFTED-PILOT-CLOISTER-PYTHIA-TRACE pipeline that projects problem instances into a 2D/3D space and builds algorithm footprints to assess and compare algorithmic power. Powers the MATILDA web platform.

Automated Algorithm Selection with Hyperparameter Optimization

MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers

This repo holds the code, dataset, and running scripts for fast k-means evaluation

Algorithms to solve and features to characterise TSP problems.

ASF is a flexible Python library for algorithm selection

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.

Mosaic: MCTS-based Pipeline Optimization

An AutoRecSys Library built around LensKit. Performs automatic algorithm selection, hyperparameter optimzation and ensembling on LensKit models.

This repository holds the code for our paper "Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis" by Alexander Tornede, Marcel Wever, Stefan Werner, Felix Mohr and Eyke Hüllermeier.

DSH/Codex Agent Skill for CUMCM and mathematical modeling: model selection, algorithm strategy, optimization, and validation.

Federated Meta-Learning: a concept that allows everyone to benefit from the data that is generated through machine learning libraries.

Uses reinforcement learning to train an algorithm selection model in solving subgraph isomorphism problems.

Papers I've been reading on machine learning (bandits, reinforcement learning, algorithm selection, optimal transport, time series, etc).

Automated Algorithm Selection for Time-series Forecasting

The idea of this research is based on a novel paradigm for solving complex, NP-hard problems (e.g., schedul- ing, routing) by leveraging Large Language Models (LLMs) as dynamic orchestrators in Agentic solvers, as proposed in a position Paper by professor Roberto Amadini and Simone Gazza.

Local Streamlit app that suggests and ranks ML, AI, NLP, computer vision, time series, anomaly detection, document intelligence, GenAI, and RAG algorithms for a project.

Code and text for the paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers".

Short, readable equations predicting the MCC a classifier reaches on a dataset, fitted from meta-features of both by sparse regression over a fixed term library. Validated leave-one-dataset-out and leave-one-model-out; trades accuracy for explainability on purpose.

Q-OPS Global: a trusted selective quantum–classical copilot for Human–AI staffing—classical scheduling first, constrained QAOA only on ambiguous feasible cores, and classical certification always. Vanguard/WISER Quantum Challenge 2026.