GitHub repository: ADA-research/CTRAIN
Primary language: Python
Description: CTRAIN is a unified, modular and comprehensive package for certifiably training neural networks and evaluating their robustness.