Awesome
Design-Bench
Design-Bench is a benchmarking framework for solving automatic design problems that involve choosing an input that maximizes a black-box function. This type of optimization is used across scientific and engineering disciplines in ways such as designing proteins and DNA sequences with particular functions, chemical formulas and molecule substructures, the morphology and controllers of robots, and many more applications.
These applications have significant potential to accelerate research in biochemistry, chemical engineering, materials science, robotics and many other disciplines. We hope this framework serves as a robust platform to drive these applications and create widespread excitement for model-based optimization.
Offline Model-Based Optimization
The goal of model-based optimization is to find an input x that maximizes an unknown black-box function f. This function is frequently difficulty or costly to evaluate---such as requiring wet-lab experiments in the case of protein design. In these cases, f is described by a set of function evaluations: D = {(x_0, y_0), (x_1, y_1), ... (x_n, y_n)}, and optimization is performed without querying f on new data points.
Installation
Design-Bench can be installed with the complete set of benchmarks via our pip package.
conda create -n mbo -c conda-forge rdkit
pip install design-bench[all]==2.0.20
pip install morphing-agents==1.5.1
Alternatively, if you do not have MuJoCo, you may opt for a minimal install.
conda create -n mbo -c conda-forge rdkit
pip install design-bench==2.0.20
Available Tasks
In the below table, we list the supported datasets and objective functions for model-based optimization, where a ✅ indicates that a particular combination has been tested and is available for download from our server.
Dataset \ Oracle | Exact | Gaussian Process | Random Forest | Fully Connected | LSTM | ResNet | Transformer |
---|---|---|---|---|---|---|---|
TF Bind 8 | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ |
GFP | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | |
ChEMBL | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | |
UTR | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | |
Hopper Controller | ✅ | ✅ | ✅ | ✅ | |||
Superconductor | ✅ | ✅ | ✅ | ||||
Ant Morphology | ✅ | ✅ | ✅ | ✅ | |||
D'Kitty Morphology | ✅ | ✅ | ✅ | ✅ |
Combinations of datasets and oracles that are not available for download from our server are automatically trained on your machine on task creation. This currently only affects approximate oracles on user-defined MBO tasks. Below we provide the preferred oracle for each task, as well as meta data such as the number of data points measured.
Task Name | Dataset | Oracle | Dataset Size | Spearman's ρ |
---|---|---|---|---|
TFBind8-Exact-v0 | TF Bind 8 | Exact | 65792 | |
GFP-Transformer-v0 | GFP | Transformer | 56086 | 0.8497 |
ChEMBL-ResNet-v0 | ChEMBL | ResNet | 40516 | 0.3208 |
UTR-ResNet-v0 | UTR | ResNet | 280000 | 0.8617 |
HopperController-Exact-v0 | Hopper Controller | Exact | 3200 | |
Superconductor-RandomForest-v0 | Superconductor | Random Forest | 21263 | 0.9155 |
AntMorphology-Exact-v0 | Ant Morphology | Exact | 25009 | |
DKittyMorphology-Exact-v0 | D'Kitty Morphology | Exact | 25009 |
Performance Of Baselines
We benchmark a set of 9 methods for solving offline model-based optimization problems. Performance is reported in normalized form, where the 100th percentile score of 128 candidate designs is evaluated and normalized such that a 1.0 corresponds to performance equivalent to the best performing design in the full unobserved dataset assoctated with each model-based optimization task. A 0.0 corresponds to performance equivalent to the worst performing design in the full unobserved dataset. In circumstances where an exact oracle is not available, this full unobserved dataset is used for training the approximate oracle that is used for evaluation of candidate designs proposed by each method. The symbol ± indicates the empirical standard deviation of reported performance across 8 trials.
Method \ Task | GFP | TF Bind 8 | UTR | ChEMBL |
---|---|---|---|---|
Auto. CbAS | 0.865 ± 0.000 | 0.910 ± 0.044 | 0.650 ± 0.006 | 0.470 ± 0.000 |
CbAS | 0.865 ± 0.000 | 0.927 ± 0.051 | 0.650 ± 0.002 | 0.517 ± 0.055 |
BO-qEI | 0.254 ± 0.352 | 0.798 ± 0.083 | 0.659 ± 0.000 | 0.333 ± 0.035 |
CMA-ES | 0.054 ± 0.002 | 0.953 ± 0.022 | 0.666 ± 0.004 | 0.350 ± 0.017 |
Grad. | 0.864 ± 0.001 | 0.977 ± 0.025 | 0.639 ± 0.009 | 0.360 ± 0.029 |
Grad. Min | 0.864 ± 0.000 | 0.984 ± 0.012 | 0.647 ± 0.007 | 0.361 ± 0.004 |
Grad. Mean | 0.864 ± 0.000 | 0.986 ± 0.012 | 0.647 ± 0.005 | 0.373 ± 0.013 |
MINs | 0.865 ± 0.001 | 0.905 ± 0.052 | 0.649 ± 0.004 | 0.473 ± 0.057 |
REINFORCE | 0.865 ± 0.000 | 0.948 ± 0.028 | 0.646 ± 0.005 | 0.459 ± 0.036 |
Performance On Discrete Tasks.
Method \ Task | Superconductor | Ant Morphology | D'Kitty Morphology | Hopper Controller |
---|---|---|---|---|
Auto. CbAS | 0.421 ± 0.045 | 0.884 ± 0.046 | 0.906 ± 0.006 | 0.137 ± 0.005 |
CbAS | 0.503 ± 0.069 | 0.879 ± 0.032 | 0.892 ± 0.008 | 0.141 ± 0.012 |
BO-qEI | 0.402 ± 0.034 | 0.820 ± 0.000 | 0.896 ± 0.000 | 0.550 ± 0.118 |
CMA-ES | 0.465 ± 0.024 | 1.219 ± 0.738 | 0.724 ± 0.001 | 0.604 ± 0.215 |
Grad. | 0.518 ± 0.024 | 0.291 ± 0.023 | 0.874 ± 0.022 | 1.035 ± 0.482 |
Grad. Min | 0.506 ± 0.009 | 0.478 ± 0.064 | 0.889 ± 0.011 | 1.391 ± 0.589 |
Grad. Mean | 0.499 ± 0.017 | 0.444 ± 0.081 | 0.892 ± 0.011 | 1.586 ± 0.454 |
MINs | 0.469 ± 0.023 | 0.916 ± 0.036 | 0.945 ± 0.012 | 0.424 ± 0.166 |
REINFORCE | 0.481 ± 0.013 | 0.263 ± 0.032 | 0.562 ± 0.196 | -0.020 ± 0.067 |
Performance On Continuous Tasks.
Reproducing Baseline Performance
In order to reproduce this table, you must first install the implementation of the baseline algorithms.
git clone https://github.com/brandontrabucco/design-baselines
conda env create -f design-baselines/environment.yml
conda activate design-baselines
You may then run the following series of commands in a bash terminal using the command-line interface exposed in design-baselines. Also, please ensure that the conda environment design-baselines
is activated in the bash session that you run these commands from in order to access the design-baselines
command-line interface.
# set up machine parameters
NUM_CPUS=32
NUM_GPUS=8
for TASK_NAME in \
gfp \
tf-bind-8 \
utr \
chembl \
superconductor \
ant \
dkitty \
hopper; do
for ALGORITHM_NAME in \
autofocused-cbas \
cbas \
bo-qei \
cma-es \
gradient-ascent \
gradient-ascent-min-ensemble \
gradient-ascent-mean-ensemble \
mins \
reinforce; do
# launch several model-based optimization algorithms using the command line interface
# for example:
# (design-baselines) name@computer:~/$ cbas gfp \
# --local-dir ~/db-results/cbas-gfp \
# --cpus 32 \
# --gpus 8 \
# --num-parallel 8 \
# --num-samples 8
$ALGORITHM_NAME $TASK_NAME \
--local-dir ~/db-results/$ALGORITHM_NAME-$TASK_NAME \
--cpus $NUM_CPUS \
--gpus $NUM_GPUS \
--num-parallel 8 \
--num-samples 8
done
done
# generate the main performance table of the paper
design-baselines make-table --dir ~/db-results/ --percentile 100th
# generate the performance tables in the appendix
design-baselines make-table --dir ~/db-results/ --percentile 50th
design-baselines make-table --dir ~/db-results/ --percentile 100th --no-normalize
These commands will run several model-based optimization algorithms (such as CbAS) contained in design-baselines on all tasks released with the design-bench benchmark, and will then generate three performance tables from those results, and print a latex rendition of these performance tables to stdout.
The Train-Test Discrepency
For tasks where an exact numerical ground truth is not available for evaluating the performance of previously unseen candidate designs, we provide several families of approximate oracle models that have been trained using a larger held out dataset of designs x and corresponding scores y.
Using a learned oracle for evaluation and training an MBO method using real data creates a train-test discrepency. This discrepency can be avoided by relabelling the y values in an offline MBO dataset with the predictions of the learned oracle, which is controlled by the following parameter when building a task.
import design_bench
# instantiate the task using y values generated from the learned oracle
task = design_bench.make('GFP-Transformer-v0', relabel=True)
# instantiate the task using y values generated from real experiments
task = design_bench.make('GFP-Transformer-v0', relabel=False)
Task API
Design-Bench tasks share a common interface specified in design_bench/task.py, which exposes a set of input designs task.x and a set of output predictions task.y. In addition, the performance of a new set of input designs (such as those output from a model-based optimization algorithm) can be found using y = task.predict(x).
import design_bench
task = design_bench.make('TFBind8-Exact-v0')
def solve_optimization_problem(x0, y0):
return x0 # solve a model-based optimization problem
# solve for the best input x_star and evaluate it
x_star = solve_optimization_problem(task.x, task.y)
y_star = task.predict(x_star)
Many datasets of interest to practitioners are too large to load in memory all at once, and so the task interface defines an several iterables that load samples from the dataset incrementally.
import design_bench
task = design_bench.make('TFBind8-Exact-v0')
for x, y in task:
pass # train a model here
for x, y in task.iterate_batches(32):
pass # train a model here
for x, y in task.iterate_samples():
pass # train a model here
Certain optimization algorithms require a particular input format, and so tasks support normalization of both task.x and task.y, as well as conversion of task.x from discrete tokens to the logits of a categorical probability distribution---needed when optimizing x with a gradient-based model-based optimization algorithm.
import design_bench
task = design_bench.make('TFBind8-Exact-v0')
# convert x to logits of a categorical probability distribution
task.map_to_logits()
discrete_x = task.to_integers(task.x)
# normalize the inputs to have zero mean and unit variance
task.map_normalize_x()
original_x = task.denormalize_x(task.x)
# normalize the outputs to have zero mean and unit variance
task.map_normalize_y()
original_y = task.denormalize_y(task.y)
# remove the normalization applied to the outputs
task.map_denormalize_y()
normalized_y = task.normalize_y(task.y)
# remove the normalization applied to the inputs
task.map_denormalize_x()
normalized_x = task.normalize_x(task.x)
# convert x back to integers
task.map_to_integers()
continuous_x = task.to_logits(task.x)
Each task provides access to the model-based optimization dataset used to learn the oracle (where applicable) as well as the oracle itself, which includes metadata for how it was trained (where applicable). These provide fine-grain control over the data distribution for model-based optimization.
import design_bench
task = design_bench.make('GFP-GP-v0')
# an instance of the DatasetBuilder class from design_bench.datasets.dataset_builder
dataset = task.dataset
# modify the distribution of the task dataset
dataset.subsample(max_samples=10000,
distribution="uniform",
min_percentile=10,
max_percentile=90)
# an instance of the OracleBuilder class from design_bench.oracles.oracle_builder
oracle = task.oracle
# check how the model was fit
print(oracle.params["rank_correlation"],
oracle.params["model_kwargs"],
oracle.params["split_kwargs"])
Dataset API
Datasets provide a model-based optimization algorithm with information about the black-box function, and are used in design bench to fit approximate oracle models when an exact oracle is not available. All datasets inherit from the DatasetBuilder class defined in design_bench.datasets.dataset_builder.
All datasets implement methods for modifying the format and distribution of the dataset, including normalization, subsampling, relabelling the outputs, and (for discrete datasets) converting discrete inputs to real-valued. There are also special methods for splitting the dataset into a training and validation set.
<details> <summary>Display code snippet</summary>from design_bench.datasets.discrete.gfp_dataset import GFPDataset
dataset = GFPDataset()
# convert x to logits of a categorical probability distribution
dataset.map_to_logits()
discrete_x = dataset.to_integers(dataset.x)
# normalize the inputs to have zero mean and unit variance
dataset.map_normalize_x()
original_x = dataset.denormalize_x(dataset.x)
# normalize the outputs to have zero mean and unit variance
dataset.map_normalize_y()
original_y = dataset.denormalize_y(dataset.y)
# remove the normalization applied to the outputs
dataset.map_denormalize_y()
normalized_y = dataset.normalize_y(dataset.y)
# remove the normalization applied to the inputs
dataset.map_denormalize_x()
normalized_x = dataset.normalize_x(dataset.x)
# convert x back to integers
dataset.map_to_integers()
continuous_x = dataset.to_logits(dataset.x)
# modify the distribution of the dataset
dataset.subsample(max_samples=10000,
distribution="uniform",
min_percentile=10,
max_percentile=90)
# change the outputs as a function of their old values
dataset.relabel(lambda x, y: y ** 2 - 2.0 * y)
# split the dataset into a validation set
training, validation = dataset.split(val_fraction=0.1)
</details>
If you would like to define your own dataset for use with design-bench, you can directly instantiate a continuous dataset or a discrete dataset depending on the input format you are using. The DiscreteDataset class and ContinuousDataset are built with this in mind, and accept both two numpy arrays containing inputs x outputs y.
<details> <summary>Display code snippet</summary>from design_bench.datasets.discrete_dataset import DiscreteDataset
from design_bench.datasets.continuous_dataset import ContinuousDataset
import numpy as np
# create dummy inputs and outputs for model-based optimization
x = np.random.randint(500, size=(5000, 43))
y = np.random.uniform(size=(5000, 1))
# create a discrete dataset for those inputs and outputs
dataset = DiscreteDataset(x, y)
# create dummy inputs and outputs for model-based optimization
x = np.random.uniform(size=(5000, 871))
y = np.random.uniform(size=(5000, 1))
# create a continuous dataset for those inputs and outputs
dataset = ContinuousDataset(x, y)
</details>
In the event that you are using a dataset that is saved to a set of sharded numpy files (ending in .npy), you may also create dataset by providing a list of shard files representing using the DiskResource class. The DiscreteDataset class and ContinuousDataset accept two lists of sharded inputs x and outputs y represented by DiskResource objects.
<details> <summary>Display code snippet</summary>from design_bench.disk_resource import DiskResource
from design_bench.datasets.discrete_dataset import DiscreteDataset
from design_bench.datasets.continuous_dataset import ContinuousDataset
import os
import numpy as np
# list the disk resource for each shard
os.makedirs("new_dataset/")
x = [DiskResource("new_dataset/shard-x-0.npy"),
DiskResource("new_dataset/shard-x-1.npy")]
y = [DiskResource("new_dataset/shard-y-0.npy"),
DiskResource("new_dataset/shard-y-1.npy")]
# create dummy inputs and outputs for model-based optimization
xs = np.random.randint(500, size=(5000, 43))
ys = np.random.uniform(size=(5000, 1))
# save the dataset to a set of shard files
np.save("new_dataset/shard-x-0.npy", xs[:3000])
np.save("new_dataset/shard-x-1.npy", xs[3000:])
np.save("new_dataset/shard-y-0.npy", ys[:3000])
np.save("new_dataset/shard-y-1.npy", ys[3000:])
# create a discrete dataset for those inputs and outputs
dataset = DiscreteDataset(x, y)
# create dummy inputs and outputs for model-based optimization
xs = np.random.uniform(size=(5000, 871))
ys = np.random.uniform(size=(5000, 1))
# save the dataset to a set of shard files
np.save("new_dataset/shard-x-0.npy", xs[:3000])
np.save("new_dataset/shard-x-1.npy", xs[3000:])
np.save("new_dataset/shard-y-0.npy", ys[:3000])
np.save("new_dataset/shard-y-1.npy", ys[3000:])
# create a continuous dataset for those inputs and outputs
dataset = ContinuousDataset(x, y)
</details>
Oracle API
Oracles provide a way of measuring the performance of candidate solutions to a model-based optimization problem, found by a model-based optimization algorithm, without having to perform additional real-world experiments. To this end, oracle implement a prediction function oracle.predict(x) that takes a set of designs and makes a prediction about their performance. The goal of model-based optimization is to maximize the predictions of the oracle.
<details> <summary>Display code snippet</summary>from design_bench.datasets.discrete.gfp_dataset import GFPDataset
from design_bench.oracles.tensorflow import TransformerOracle
# create a dataset and a noisy oracle
dataset = GFPDataset()
oracle = TransformerOracle(dataset, noise_std=0.1)
def solve_optimization_problem(x0, y0):
return x0 # solve a model-based optimization problem
# evaluate the performance of the solution x_star
x_star = solve_optimization_problem(dataset.x, dataset.y)
y_star = oracle.predict(x_star)
</details>
In order to handle when an exact ground truth is unknown or not tractable to evaluate, Design-Bench provides a set of approximate oracles including a Gaussian Process, Random Forest, and several deep neural network architectures specialized to particular data modalities. These approximate oracles may have the following parameters.
<details> <summary>Display code snippet</summary>from design_bench.datasets.discrete.gfp_dataset import GFPDataset
from design_bench.oracles.tensorflow import TransformerOracle
# parameters for the transformer architecture
model_kwargs=dict(
hidden_size=64,
feed_forward_size=256,
activation='relu',
num_heads=2,
num_blocks=4,
epochs=20,
shuffle_buffer=60000,
learning_rate=0.0001,
dropout_rate=0.1)
# parameters for building the validation set
split_kwargs=dict(
val_fraction=0.1,
subset=None,
shard_size=5000,
to_disk=True,
disk_target="gfp/split",
is_absolute=False)
# create a transformer oracle for the GFP dataset
dataset = GFPDataset()
oracle = TransformerOracle(
dataset,
noise_std=0.0,
# parameters for ApproximateOracle subclasses
disk_target="new_model.zip",
is_absolute=True,
fit=True,
max_samples=None,
distribution=None,
max_percentile=100,
min_percentile=0,
model_kwargs=model_kwargs,
split_kwargs=split_kwargs)
def solve_optimization_problem(x0, y0):
return x0 # solve a model-based optimization problem
# evaluate the performance of the solution x_star
x_star = solve_optimization_problem(dataset.x, dataset.y)
y_star = oracle.predict(x_star)
</details>
Defining New MBO Tasks
New model-based optimization tasks are simple to create and register with design-bench. By subclassing either DiscreteDataset or ContinuousDataset, and providing either a pair of numpy arrays containing inputs and outputs, or a pair of lists of DiskResource shards containing inputs and outputs, you can define your own model-based optimization dataset class. Once a custom dataset class is created, you can register it as a model-based optimization task by choosing an appropriate oracle type, and making a call to the register function. After doing so, subsequent calls to design_bench.make can find your newly registered model-based optimization task.
<details> <summary>Display code snippet</summary>from design_bench.datasets.continuous_dataset import ContinuousDataset
import design_bench
import numpy as np
# define a custom dataset subclass of ContinuousDataset
class QuadraticDataset(ContinuousDataset):
def __init__(self, **kwargs):
# define a set of inputs and outputs of a quadratic function
x = np.random.normal(0.0, 1.0, (5000, 7))
y = (x ** 2).sum(keepdims=True)
# pass inputs and outputs to the base class
super(QuadraticDataset, self).__init__(x, y, **kwargs)
# parameters used for building the validation set
split_kwargs=dict(
val_fraction=0.1,
subset=None,
shard_size=5000,
to_disk=True,
disk_target="quadratic/split",
is_absolute=True)
# parameters used for building the model
model_kwargs=dict(
hidden_size=512,
activation='relu',
num_layers=2,
epochs=5,
shuffle_buffer=5000,
learning_rate=0.001)
# keyword arguments for building the dataset
dataset_kwargs=dict(
max_samples=None,
distribution=None,
max_percentile=80,
min_percentile=0)
# keyword arguments for training FullyConnected oracle
oracle_kwargs=dict(
noise_std=0.0,
max_samples=None,
distribution=None,
max_percentile=100,
min_percentile=0,
split_kwargs=split_kwargs,
model_kwargs=model_kwargs)
# register the new dataset with design_bench
design_bench.register(
'Quadratic-FullyConnected-v0', QuadraticDataset,
'design_bench.oracles.tensorflow:FullyConnectedOracle',
dataset_kwargs=dataset_kwargs, oracle_kwargs=oracle_kwargs)
# build the new task (and train a model)
task = design_bench.make("Quadratic-FullyConnected-v0")
def solve_optimization_problem(x0, y0):
return x0 # solve a model-based optimization problem
# evaluate the performance of the solution x_star
x_star = solve_optimization_problem(task.x, task.y)
y_star = task.predict(x_star)
</details>
Citation
Thanks for using our benchmark, and please cite our paper!
@article{DBLP:journals/corr/abs-2202-08450,
author = {Brandon Trabucco and
Xinyang Geng and
Aviral Kumar and
Sergey Levine},
title = {Design-Bench: Benchmarks for Data-Driven Offline Model-Based Optimization},
journal = {CoRR},
volume = {abs/2202.08450},
year = {2022},
url = {https://arxiv.org/abs/2202.08450},
eprinttype = {arXiv},
eprint = {2202.08450},
timestamp = {Tue, 01 Mar 2022 14:36:22 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-08450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}