Certified Continual Learning Dataset

This file contains all the trained models, datasets, verified properties, and generated certificates of the paper "Certified Continual Learning for Neural Network Regression".