{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"oval-bab","owner":"oval-group","isFork":false,"description":"OVAL framework for BaB-based Neural Network Verification","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T17:16:30.456Z"}},{"type":"Public","name":"borat","owner":"oval-group","isFork":false,"description":"A Stochastic Bundle Method for Interpolating Networks. JMLR 2021.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-07T16:08:16.157Z"}},{"type":"Public","name":"smooth-topk","owner":"oval-group","isFork":false,"description":"Smooth Loss Functions for Deep Top-k Classification","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":246,"forksCount":35,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-17T20:38:20.970Z"}},{"type":"Public","name":"AdvGNN","owner":"oval-group","isFork":false,"description":"Generating Adversarial Examples with Graph Neural Networks","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-05T16:53:22.686Z"}},{"type":"Public","name":"ali-g","owner":"oval-group","isFork":false,"description":"Implementation of the ALI-G algorithm (PyTorch, Tensorflow)","allTopics":["deep-learning","tensorflow","optimization","pytorch"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":22,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-07T15:57:21.585Z"}},{"type":"Public","name":"dfw","owner":"oval-group","isFork":false,"description":"Implementation of the Deep Frank-Wolfe Algorithm -- Pytorch","allTopics":["deep-learning","optimization","pytorch"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":61,"forksCount":10,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-06T18:30:48.827Z"}},{"type":"Public","name":"GNN_branching","owner":"oval-group","isFork":false,"description":"Implementation of GNN ReLU branching strategies","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":9,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-13T21:53:30.574Z"}},{"type":"Public","name":"scaling-the-convex-barrier","owner":"oval-group","isFork":false,"description":"Scaling the convex barrier for piecewise-linear neural network verification ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-19T15:30:52.796Z"}},{"type":"Public","name":"decomposition-plnn-bounds","owner":"oval-group","isFork":false,"description":"Dual iterative algorithms for Neural Network output bounds computations","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-14T18:52:33.701Z"}},{"type":"Public","name":"mlogger","owner":"oval-group","isFork":false,"description":"a lightweight and simple logger for Machine Learning","allTopics":["visualization","python","deep-learning","optimization","logging","pytorch","tensorboard","experiments","visdom","machine-learning"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":127,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-09T22:31:16.530Z"}},{"type":"Public","name":"vnn-comp","owner":"oval-group","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-20T16:38:41.225Z"}},{"type":"Public","name":"statistical-robustness","owner":"oval-group","isFork":false,"description":"Code to reproduce experiments from \"A Statistical Approach to Assessing Neural Network Robustness\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-11T01:04:38.542Z"}},{"type":"Public","name":"multivisdom_proxy","owner":"oval-group","isFork":false,"description":"How to create a server that will proxy to multiple visdom running on different computers.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-28T14:01:32.828Z"}},{"type":"Public","name":"PLNN-verification","owner":"oval-group","isFork":false,"description":"All code for the Piecewise Linear Neural Networks verification: A comparative study paper","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":33,"forksCount":8,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-07T15:50:22.182Z"}},{"type":"Public","name":"DenseCRF","owner":"oval-group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-27T11:04:08.297Z"}},{"type":"Public","name":"Partial-linearization","owner":"oval-group","isFork":false,"description":"Code for Partial Linearization based Optimization for Multi-class SVM","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-29T06:34:02.700Z"}},{"type":"Public","name":"DISCONets","owner":"oval-group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-09T16:41:05.129Z"}},{"type":"Public","name":"pl-cnn","owner":"oval-group","isFork":false,"description":"A layer-wise algorithm for learning Convolutional Neural Networks","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-09T12:36:11.572Z"}}],"repositoryCount":18,"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"}