{"payload":{"header_redesign_enabled":false,"results":[{"id":"602401834","archived":false,"color":"#3572A5","followers":73,"has_funding_file":false,"hl_name":"niansong1996/lever","hl_trunc_description":"Code for paper \"LEVER: Learning to Verifiy Language-to-Code Generation with Execution\" (ICML'23)","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":602401834,"name":"lever","owner_id":10934810,"owner_login":"niansong1996","updated_at":"2023-07-05T09:06:23.595Z","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":70,"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%253Aniansong1996%252Flever%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/niansong1996/lever/star":{"post":"fYn370bme5_bZ67jhWBlsa528tjVIOk6IwlBWliOd-ZFIOj5r8_RYELQuWe_CN9OWISAdJ9zX_iwRHnjP3gqCw"},"/niansong1996/lever/unstar":{"post":"wQiyqGkb3A-y-Yn3tnU3m4bhuKQLd0oTySweZlpyitgEbhqfwGYWyZEp1ckoE-CSZY2cNzaWdUT7p6pgXPWZOA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"gMhpF-Qye9V1IHCMI1x7v_HLN4CKfua5Df8iQgKnI9e6j7Ugxvmbad_vN1OzckFs3TmY2Rv6KM1jaBOLf47Ftw"}}},"title":"Repository search results"}