Spaces:

JoshuaPinckard
/

LEAN-Bench-Leaderboard

Running

App Files Files Community

LEAN-Bench-Leaderboard

Commit History

Update app.py

336c454

Running
verified

JoshuaPinckard commited on 25 days ago

initial commit

a102ec6
verified

JoshuaPinckard commited on 25 days ago

Duplicate from gradio-templates/leaderboard

5bd90e9

abidlabs HF Staff commited on 25 days ago