{"data":{"slug":"niansong1996-lever","name":"lever","tagline":"Code for paper \"LEVER: Learning to Verifiy Language-to-Code Generation with Execution\" (ICML'23)","github_url":"https://github.com/niansong1996/lever","owner":"niansong1996","repo":"lever","owner_avatar_url":"https://avatars.githubusercontent.com/u/10934810?v=4","primary_language":"Python","stars":90,"forks":8,"topics":[],"archived":false,"github_pushed_at":"2023-07-05T09:06:23+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/niansong1996-lever","markdown_url":"https://www.graphcanon.com/tools/niansong1996-lever.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/niansong1996-lever","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=niansong1996-lever","description":"Code for paper \"LEVER: Learning to Verifiy Language-to-Code Generation with Execution\" (ICML'23)","homepage_url":"https://arxiv.org/abs/2302.08468","license":"MIT","open_issues":2,"watchers":4,"ai_summary":null,"readme_excerpt":"### Installation\n(Recommended) Create a new conda environment\n```bash\nconda create -n lever python=3.8\nconda activate lever\n```\nInstall the dependencies\n```bash\npip install -r requirements.txt\n```\n> **NOTE**: all of the pipelines are only tested on Linux machines, you may need to build your own `tree-sitter` parsers if a different platform is used.","github_created_at":"2023-02-16T06:01:49+00:00","created_at":"2026-07-11T23:45:09.573884+00:00","updated_at":"2026-07-11T23:45:14.512333+00:00","categories":[{"slug":"data-retrieval","name":"Data & Retrieval","url":"https://www.graphcanon.com/categories/data-retrieval","markdown_url":"https://www.graphcanon.com/categories/data-retrieval.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/data-retrieval"}],"tags":[{"slug":"python","name":"python"}],"trust":{"provenance":{"is_fork":false,"github_id":602401834,"owner_type":"User","methodology":"github_public_v1","parent_repo":null,"near_duplicate_slugs":[]},"computed_at":"2026-07-11T23:45:11.986Z","maintenance":{"label":"Dormant","score":18,"methodology":"github_public_v1","releases_90d":0,"days_since_push":1102,"last_release_at":null},"security_summary":{"status":"ok","scanner":"osv@v1","low_count":0,"high_count":0,"last_scan_at":"2026-07-11T23:45:12.480Z","medium_count":0,"scan_profile":"deps","critical_count":0}},"capability_facts":{"scan":{"source":"repo_scan","observed_at":"2026-07-11T23:45:11.720Z"},"languages":{"value":["python"],"source":"github.language","observed_at":"2026-07-11T23:45:11.720Z"},"license_spdx":{"value":"MIT","source":"github.license","observed_at":"2026-07-11T23:45:11.720Z"}}}}