Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena

2.07 MB

Ctrl+K

Ctrl+K

3 contributors

History: 64 commits

wuyangchen's picture

add arklib and fix bug

e4faaaa verified 8 days ago

PyPantograph
use pypantograph for checking submitted statements 2 months ago
assets
Upload arklib.png 8 days ago
cslib
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
lean-project
Phase 3: bake Mathlib v4.24.0 + lake exe cache get into image 3 months ago
.dockerignore

207 Bytes
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
.gitattributes

1.7 kB
Upload PhysLibLogo.jpeg 14 days ago
.gitignore

677 Bytes
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
Dockerfile

2.56 kB
update UI about 1 month ago
README.md

279 Bytes
initial commit 3 months ago
app.py

87.6 kB
add arklib and fix bug 8 days ago
benchmark.py

3.77 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
benchmark_data.jsonl

118 kB
Switch to real putnam_small benchmark + statement-match guard 3 months ago
benchmark_data_new.jsonl

154 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
benchmark_heartbeats.jsonl

991 Bytes
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
leaderboard.py

12.1 kB
Update leaderboard.py 25 days ago
pantograph_server.py

4.44 kB
use pypantograph for checking submitted statements 2 months ago
project_compile.py

6.65 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
utils.py

6.26 kB
Switch to real putnam_small benchmark + statement-match guard 3 months ago
versions.py

3.54 kB
update 3 months ago