A guide to setting up your own Hugging Face leaderboard: an end-to-end example with Vectara's hallucination leaderboard