Spaces:

JoshuaPinckard
/

LEAN-Bench-Leaderboard

Sleeping

App Files Files Community

LEAN-Bench-Leaderboard / README.md

Commit History

initial commit

a102ec6
verified

JoshuaPinckard commited on May 10

Duplicate from gradio-templates/leaderboard

5bd90e9

abidlabs HF Staff commited on May 10