import pandas as pd TYPES = [ "str", "markdown", "number", "number", "number", "number", "number", "number", "number", "str", "str", "str", "str", "bool", "str", "number", "number", "bool", "str", "bool", "bool", "str", ] ON_LOAD_COLUMNS = [ "T", "Model", "Average ⬆️", "ARC", "HellaSwag", "MMLU", "TruthfulQA", "Winogrande", "GSM8K"] FILTER_COLUMNS = ["T", "Precision", "Model Size"] NUMERIC_INTERVALS = { "?": pd.Interval(-1, 0, closed="right"), "~1.5": pd.Interval(0, 2, closed="right"), "~3": pd.Interval(2, 4, closed="right"), "~7": pd.Interval(4, 9, closed="right"), "~13": pd.Interval(9, 20, closed="right"), "~35": pd.Interval(20, 45, closed="right"), "~60": pd.Interval(45, 70, closed="right"), "70+": pd.Interval(70, 10000, closed="right"), }