{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"SyReNN_GPU","owner":"95616ARG","isFork":false,"description":"GPU implementation of SyReNN: Symbolic Representations for Neural Networks","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-10T23:58:37.925Z"}},{"type":"Public","name":"APRNN","owner":"95616ARG","isFork":false,"description":"Code from PLDI '23 paper \"Architecture-Preserving Provable Repair of Deep Neural Networks.\"","topicNames":["deep-neural-networks","trustworthy-ai","provable-repair"],"topicsNotShown":0,"primaryLanguage":{"name":"HCL","color":"#844FBA"},"pullRequestCount":0,"issueCount":1,"starsCount":5,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-06T19:13:06.365Z"}},{"type":"Public","name":"SyReNN","owner":"95616ARG","isFork":false,"description":"SyReNN: Symbolic Representations for Neural Networks","topicNames":["deep-neural-networks","neural-network","verification","integrated-gradients","network-patching","trustworthy-machine-learning","trustworthy-ai"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":8,"issueCount":1,"starsCount":38,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-20T21:29:19.364Z"}},{"type":"Public","name":"bazel_python","owner":"95616ARG","isFork":false,"description":"Support for reproducibly running Python scripts using Bazel.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Starlark","color":"#76d275"},"pullRequestCount":1,"issueCount":5,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-21T08:06:33.470Z"}},{"type":"Public","name":"PRDNN","owner":"95616ARG","isFork":false,"description":"Code from PLDI '21 paper \"Provable Repair of Deep Neural Networks.\"","topicNames":["deep-neural-networks","mnist","imagenet","trustworthy-machine-learning","trustworthy-ai","provable-repair"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":10,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-26T18:38:04.481Z"}},{"type":"Public","name":"bazel-latex","owner":"95616ARG","isFork":false,"description":"Bazel rules for building LaTeX documents with TeX Live.","topicNames":["latex","bazel"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-11T16:06:40.869Z"}},{"type":"Public","name":"sifter","owner":"95616ARG","isFork":false,"description":"","topicNames":["analogies"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-10T22:16:25.494Z"}},{"type":"Public","name":"mikos_sas2020","owner":"95616ARG","isFork":false,"description":"Memory-Efficient Fixpoint Computation for Abstract Interpretation","topicNames":["abstract-interpretation","ikos","static-analysis"],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-21T20:01:30.047Z"}},{"type":"Public","name":"abstract_neural_networks","owner":"95616ARG","isFork":false,"description":"Abstract Neural Networks (SAS 2020)","topicNames":["deep-neural-networks","dnn","abstract-interpretation"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-15T18:36:18.603Z"}},{"type":"Public","name":"pikos_popl2020","owner":"95616ARG","isFork":false,"description":"Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation","topicNames":["static-analysis","parallelism","abstract-interpretation","ikos"],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-24T19:58:02.519Z"}},{"type":"Public","name":"symbolic-abstraction","owner":"95616ARG","isFork":false,"description":"Reference implementations for Symbolic Abstraction algorithms.","topicNames":["abstract-interpretation","symbolic-abstraction","automating-abstract-transformers","smt-solver"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-20T05:30:25.427Z"}}],"repositoryCount":11,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}