mteb/leaderboard · Set height and add model search

UX Problem

I often want to quickly check for a certain model whether it's there and if so how well it scores. However, due to the nature of Svelte/Gradio, a cannot simply hit CTRL+F and search for it as the result are not loaded immediately (probably to save bandwidth and reduce loading times). E.g. open MTEB and search for sgpt - you won't find it even though it's in the table. Maybe there's also some issue with iframes...

Workaround

Set height with document.querySelector('.table-wrap').style.height = '10000px'; but note that for some reasons you first need to open dev console and select the table element. No idea whether it's some kind of anti bot measure or else. Only then, when the table is fully displayed I can use CTRL+F.

Proposal

Either make it bigger right away, add some kind of resizing option (like html textarea has, but I guess it's not possible with Gradio) or add a search functionality (again, not sure whether Gradio supports this yet). Maybe in the mean time a simple button expand table would be sufficient, simply triggering the JS code above. Do you have any other ideas maybe?