Interfaces for defining Robust ML models and precisely specifying the threat models under which they claim to be secure. - View it on GitHub