Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Spaces:
JoshuaPinckard
/
LEAN-Bench-Leaderboard
Sleeping

App Files Files Community
Fetching metadata from the HF Docker repository...
LEAN-Bench-Leaderboard
35.2 kB
Ctrl+K
Ctrl+K
  • 2 contributors
History: 3 commits
JoshuaPinckard's picture
JoshuaPinckard
Update app.py
336c454 verified 11 days ago
  • src
    Duplicate from gradio-templates/leaderboard 11 days ago
  • .gitattributes
    1.53 kB
    Duplicate from gradio-templates/leaderboard 11 days ago
  • .gitignore
    136 Bytes
    Duplicate from gradio-templates/leaderboard 11 days ago
  • .pre-commit-config.yaml
    1.53 kB
    Duplicate from gradio-templates/leaderboard 11 days ago
  • Makefile
    208 Bytes
    Duplicate from gradio-templates/leaderboard 11 days ago
  • README.md
    1.47 kB
    initial commit 11 days ago
  • app.py
    643 Bytes
    Update app.py 11 days ago
  • pyproject.toml
    548 Bytes
    Duplicate from gradio-templates/leaderboard 11 days ago
  • requirements.txt
    203 Bytes
    Duplicate from gradio-templates/leaderboard 11 days ago