{"payload":{"header_redesign_enabled":false,"results":[{"id":"626058824","archived":false,"color":"#3572A5","followers":7,"has_funding_file":false,"hl_name":"uiuc-focal-lab/IVAN","hl_trunc_description":"Incremental Verification of DNNs (<a href=\"https://arxiv.org/abs/2304.01874\" rel=\"nofollow\">https://arxiv.org/abs/2304.01874</a>)","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":626058824,"name":"IVAN","owner_id":124546856,"owner_login":"uiuc-focal-lab","updated_at":"2023-04-10T18:07:12.943Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":71,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Auiuc-focal-lab%252FIVAN%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/uiuc-focal-lab/IVAN/star":{"post":"3HLtRn7s_2CGJdMc3KE1pgmjkEa1K3hVwjpwHK7357TYl6_aMWMQGvOU1_PZyGLFBAnFLpFCezTQxDW6LEvQ8g"},"/uiuc-focal-lab/IVAN/unstar":{"post":"SMXfwbn92Msonju2L65UMH9FrRgWw2WDA0E-xJbwGdIAdwdUUJAivkBQjSnBlOh8iX_SvjCZPpP5PeWUmlOSOg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"kZ3p9atOIquVBUtyKXaPxaSsRd8HUkYvhyNnYlRqjFeW-hJzT6LX7N8Wumw_TTtA1UbTEpIdlc766Q9hyVrSnA"}}},"title":"Repository search results"}