Spaces:

JoshuaPinckard
/

LEAN-Bench-Leaderboard

Sleeping

JoshuaPinckard commited on May 10

Commit

a102ec6

verified ·

1 Parent(s): 5bd90e9

initial commit

Files changed (1) hide show

README.md CHANGED Viewed

@@ -1,13 +1,13 @@
 ---
-title: Example Leaderboard Template
 emoji: 🥇
 colorFrom: green
 colorTo: indigo
 sdk: gradio
 app_file: app.py
 pinned: true
-license: apache-2.0
-short_description: Duplicate this leaderboard to initialize your own!
 sdk_version: 5.43.1
 tags:
 - leaderboard

 ---
+title: LEAN Bench Leaderboard
 emoji: 🥇
 colorFrom: green
 colorTo: indigo
 sdk: gradio
 app_file: app.py
 pinned: true
+license: mit
+short_description: Leaderboard for LEAN-Bench
 sdk_version: 5.43.1
 tags:
 - leaderboard