leaderboard: per-dataset metric derivation, chip filters + metric toggle on every table#29

radinhamidi merged 2 commits into

mainls3-lab/QueryGym:mainfrom

leaderboard/critical-table-revisionls3-lab/QueryGym:leaderboard/critical-table-revisionCopy head branch name to clipboard