GitHub repository: truera/neurips-tutorial-2021
Description: Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Ricardo Shih, Zifan Wang