Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena

Ctrl+K

Ctrl+K

3 contributors

History: 84 commits

mikeljl's picture

Tech report is 3 to 9 pages

e034972 6 days ago

assets
update to include tracks, remove scoring on hf 15 days ago
.dockerignore

104 Bytes
update to include tracks, remove scoring on hf 15 days ago
.gitattributes

1.84 kB
update to include tracks, remove scoring on hf 15 days ago
.gitignore

142 Bytes
Enable submissions: external evaluation worker, validated warmup tags, baseline heartbeats 7 days ago
Dockerfile

932 Bytes
fix contribution link 15 days ago
README.md

669 Bytes
shorten short_description to fit HF 60-char metadata limit 15 days ago
app.py

142 kB
Tech report is 3 to 9 pages 6 days ago
benchmark.py

6.66 kB
update to include tracks, remove scoring on hf 15 days ago
benchmark_data_warmup.jsonl

114 kB
Complete baseline heartbeats for all 15 warmup rows 7 days ago
benchmark_heartbeats.jsonl

1.12 kB
Enforce unique usernames with submission keys; keep JSONL unicode literal 7 days ago
contribution.md

2.06 kB
fix contribution link 15 days ago
leaderboard.py

12.8 kB
Enable submissions: external evaluation worker, validated warmup tags, baseline heartbeats 7 days ago