{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"report","owner":"DeepLearningVerificationProject","isFork":false,"description":"Project report for Deep Learning course (CSCI 5922)","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-06T14:26:28.149Z"}},{"type":"Public","name":"diffai","owner":"DeepLearningVerificationProject","isFork":true,"description":"A certifiable defense against adversarial examples by training neural networks to be provably robust","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":26,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-03T17:31:10.902Z"}},{"type":"Public","name":"ELINA","owner":"DeepLearningVerificationProject","isFork":true,"description":"ELINA: ETH LIbrary for Numerical Analysis","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":53,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-25T22:12:59.126Z"}},{"type":"Public","name":"eran","owner":"DeepLearningVerificationProject","isFork":true,"description":"ETH Robustness Analyzer for Deep Neural Networks","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":100,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-21T17:40:28.720Z"}}],"repositoryCount":4,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}