Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

Fetching metadata from the HF Docker repository...

lean-refactor-arena

920 kB

Ctrl+K

Ctrl+K

1 contributor

History: 30 commits

mikeljl's picture

fix pypantograph usage

1290cdf 5 days ago

PyPantograph
use pypantograph for checking submitted statements 5 days ago
lean-project
Phase 3: bake Mathlib v4.24.0 + lake exe cache get into image 15 days ago
.dockerignore

166 Bytes
use pypantograph for checking submitted statements 5 days ago
.gitattributes

1.52 kB
initial commit 15 days ago
.gitignore

118 Bytes
update 14 days ago
Dockerfile

2.01 kB
use pypantograph for checking submitted statements 5 days ago
README.md

279 Bytes
initial commit 15 days ago
app.py

43.3 kB
fix pypantograph usage 5 days ago
benchmark.py

3.03 kB
Add heartbeat measurement and multi-objective leaderboard 14 days ago
benchmark_data.jsonl

118 kB
Switch to real putnam_small benchmark + statement-match guard 14 days ago
benchmark_heartbeats.jsonl

477 Bytes
Add heartbeat measurement and multi-objective leaderboard 14 days ago
leaderboard.py

11.1 kB
update 14 days ago
pantograph_server.py

4.44 kB
use pypantograph for checking submitted statements 5 days ago
utils.py

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

3.54 kB
update 14 days ago