lever logo

lever

Enrichment pending
niansong1996/lever

Code 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.8
Source 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-sitter parsers if a different platform is used.