Duplicated from demo-leaderboard-backend/leaderboard
6441bc6
1
2
3
4
""" Simplified leaderboard components for FutureBench """
