{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"MIP-Representation-for-SPFG","owner":"chair-dsgt","isFork":false,"description":"This repository contains code to represent and solve SPFGs using a compact MIP-representation","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-17T21:56:34.374Z"}},{"type":"Public","name":"mip-for-ann","owner":"chair-dsgt","isFork":false,"description":"Official PyTorch and CVXPY implementation of Identifying Critical Neurons in ANN Architectures using Mixed Integer Programming","allTopics":["model-architecture","mixed-integer-programming","neural-model-compression"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-05T08:31:46.082Z"}}],"repositoryCount":2,"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":"chair-dsgt repositories"}