Space: JoshuaPinckard/LEAN-Bench-Leaderboard
title: LEAN Bench Leaderboard
sdk: gradio
license: mit
short_description: Leaderboard for LEAN-Bench
tags: leaderboard
Tags: gradio, leaderboard, region:us