Certified Continual Learning for Neural Network Regression

Long H. Pham, Jun Sun

On the one hand, there has been considerable progress on neural network verification in recent years, which makes certifying neural networks a possibility. On the other hand, neura…