lever
Enrichment pendingCode for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)
GraphCanon updated today · GitHub synced today
90
Stars
8
Forks
2
Open issues
4
Watchers
3y
Last push
Python MITCreated Feb 16, 2023
Trust & integrity
Full report- Maintenance
- Dormant (1102d since push)
- As of today · Source: github_public_v1
- Provenance
- Not a fork · Personal account
- As of today · Source: github_public_v1
- Security (OSV)
- No criticals
- As of today · Source: osv@v1
Public GitHub metadata and optional OSV dependency scans. Signals, not a guarantee. Trust methodology.
Overview
Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)
Capability facts
- Languages
- python
Source: github.language · Jul 11, 2026
Categories
Compatibility
Sourced claims from the README excerpt - not unsourced marketing copy.
Python runtimePython
Source: README excerpt (regex_v1, Jul 11, 2026)
conda create -n lever python=3.8Source link
Tags
README
Installation
(Recommended) Create a new conda environment
conda create -n lever python=3.8
conda activate lever
Install the dependencies
pip install -r requirements.txt
NOTE: all of the pipelines are only tested on Linux machines, you may need to build your own
tree-sitterparsers if a different platform is used.