README.md

metadata

title: AstaBench Leaderboard
emoji: 🥇
colorFrom: green
colorTo: indigo
sdk: docker
app_file: app.py
pinned: true
license: apache-2.0
hf_oauth: true
app_port: 7860
failure_strategy: none
tags:
  - leaderboard

Development

The leaderboard is built using the HuggingFace Datasets library, which provides a convenient way to manage and query datasets. It's currently pointed at the AstaBench Leaderboard dataset, which is a public dataset hosted on HuggingFace.

To run the leaderboard locally first make sure to set this env variable:

export IS_INTERNAL=true

You can then start it up with the following command:

python app.py

This will start a local server that you can access in your web browser at http://localhost:7860.

Hugging Face Integration

This repo is already integrated with Hugging Face, please follow the steps below to push changes to the leaderboard on Hugging Face. First make sure to merge your changes to the main branch of this repository. (following the standard GitHub workflow of creating a branch, making changes, and then merging it back to main). First you need to add the Hugging Face remote repository if you haven't done so already. You can do this by running the following command:

git remote add huggingface https://huggingface.co/spaces/allenai/asta-bench-internal-leaderboard

You can verify that the remote has been added by running:

git remote -v

Then, to push the changes to the Hugging Face leaderboard, you can use the following command:

git push huggingface main:main