Commit History

Keep column selector for base columns, use dataset/metric filters for data columns
dd6bfef

gremlin97 commited on

Remove column selector, use dataset and metric filters instead
c144126

gremlin97 commited on

Simplify filters to separate dataset and metric checkboxes
beff22b

gremlin97 commited on

Add metric range filters for each metric type
8b08b97

gremlin97 commited on

Use Gradio Dataframe with markdown datatype for clickable author links
44deb2c

gremlin97 commited on

Use gradio-leaderboard component for clickable author links
fd803db

gremlin97 commited on

Fix First Author links to render as clickable HTML and add author fields to submission form
d9fe250

gremlin97 commited on

Add First Author column with links
37754c7

gremlin97 commited on

Remove table header background color
e998f74

gremlin97 commited on

Improve table styling and scrolling
27c52f6

gremlin97 commited on

Change title to MarsBench Leaderboard
86458f6

gremlin97 commited on

Update CSS styling
c0a9c4e

gremlin97 commited on

Add spacing and border to search bar
6b7eab4

gremlin97 commited on

Refactor to use CSV files for data management
4c99d55

gremlin97 commited on

Add HuggingFace-style submission form
bacd5ae

gremlin97 commited on

Add Organization column to all tables with filters
6c1b51e

gremlin97 commited on

Initial commit
ecd29e7

gremlin97 commited on

Initial Commit
560a8bd

gremlin97 commited on