Merge branch 'main' of https://huggingface.co/spaces/mteb/leaderboard 3b7df4b Muennighoff commited on Oct 19, 2022
Merge branch 'main' of https://huggingface.co/spaces/mteb/leaderboard 55d92b5 Muennighoff commited on Oct 3, 2022