fix: Leaderboard UI improvements

[x-tabdeveloping]

Improvements:

Implemented the following things:

• Added RegEx-sensitive search bar
• Reorganized model and benchmark criteria in a way that's more sensible
• Table improvements:
  • Better column names
  • Reorganized columns
  • Added clickable model links
  • Adjusted column widths

Screenshot:

[KennethEnevoldsen]

Would change:
"should be sentenceTransformer compatible" -> "SentenceTransformer": from the context it is clear

Discussion points:
"Availability": Why not have it be "Open", or "Proprietary" and just check off both by default? Same for instructions.

[isaac-chung]

Love the table improvements!
In general, I don't see why we are changing some of the components unless they are based on collected feedback.

1. Search: Is it possible to replicate the current leaderboard search i.e. separate multiple queries with ;? If not, I'd prefer to retain that instead of replacing it with regex. Ref: Leaderboard 2.0: Re-add model searchbar from 1.0 #1347
2. Defaults: Current leaderboard has both "open" and "proprietary" selected, and both with/ without instructions selected.
3. Benchmark: What is the expected use of the filters underneath "Benchmarks"? Are users expected to select a benchmark, then add more filters if desired?

[x-tabdeveloping]

1. Using the ; syntax in the search bar is technically equivalent to using | in RegEx. And the current leaderboard technically also uses regex, so I think it's quite redundant.
2. I thought the way it was organized in the old leaderboard was a bit unclear, and I wanted to spell it out a bit more to communicate the intentions of these buttons clearer. I'm open to changing it up if people see fit.
3. The idea is that people can customize a benchmark to their liking. For instance if you are interested in retrieval and reranking in Danish but nothing else, you can select these and rank the models based on that. I think this is a rather useful thing to have.

[isaac-chung]

1. Great! Let's spell that out then.
2. Sounds good.
3. Great! Definitely useful to have.

[isaac-chung]

Looks good! A few small suggestions.