feat: restore leaderboard (#107)

<!-- This is an auto-generated comment: release notes by coderabbit.ai
-->
## Summary by CodeRabbit

* **New Features**
  * Leaderboard section is now visible on the main page.
* Two preset threshold buttons added (Set p=1.0 and Set p=0.7) with
updated "Set p=..." labels.

* **Bug Fixes**
* Correctness bar now reflects each entry's absolute pass-rate
percentage for more accurate visualization.
<!-- end of auto-generated comment: release notes by coderabbit.ai -->

Author: xslingcn

web/apps/web/app/leaderboard/client.tsx

@@ -241,13 +241,6 @@ export function LeaderboardClient({
     })
   }, [])
 
-  const setTopN = useCallback(
-    (n: number) => {
-      setVisibleAuthors(new Set(scoreboard.slice(0, n).map((entry) => entry.name)))
-    },
-    [scoreboard]
-  )
-
   const showAll = useCallback(() => {
     const authors = Object.keys(fast.curves).filter((name) => !excludedSet.has(name))
     setVisibleAuthors(new Set(authors))
@@ -388,8 +381,11 @@ export function LeaderboardClient({
                 <div className="border-t px-4 pb-2">
                   <div className="flex flex-wrap items-center gap-2 py-2 text-xs text-muted-foreground">
                     <div className="flex gap-2">
-                      <Button size="sm" variant="outline" onClick={() => setTopN(DEFAULT_VISIBLE)}>
-                        Show top {DEFAULT_VISIBLE}
+                      <Button size="sm" variant="outline" onClick={() => setPinnedP(1.0)}>
+                        Set p=1.0
+                      </Button>
+                      <Button size="sm" variant="outline" onClick={() => setPinnedP(0.7)}>
+                        Set p=0.7
                       </Button>
                       <Button size="sm" variant="outline" onClick={showAll}>
                         Show all
@@ -485,7 +481,7 @@ export function LeaderboardClient({
                 <div className="space-y-4">
                   {correctnessRanking.map((entry, index) => {
                     const percent = (entry.passRate * 100).toFixed(1)
-                    const width = maxPassRate > 0 ? `${(entry.passRate / maxPassRate) * 100}%` : "0%"
+                    const width = maxPassRate > 0 ? `${entry.passRate * 100}%` : "0%"
                     return (
                       <div key={entry.author} className="space-y-2">
                         <div className="flex items-center justify-between text-sm font-medium">

web/apps/web/app/page.tsx

@@ -61,10 +61,10 @@ export default async function HomePage() {
 
   return (
     <div className="flex flex-col">
-      {/* <LeaderboardSection
+      <LeaderboardSection
         entries={leaderboardEntries}
         baselineLabel="Per-definition baselines"
-      /> */}
+      />
 
       <ModelsSection models={models} />
 

web/apps/web/scripts/prebuild.mjs

@@ -5,12 +5,12 @@ import { spawnSync } from "node:child_process"
 import path from "node:path"
 import process from "node:process"
 
-const DEFAULT_REPO = "https://github.com/flashinfer-ai/flashinfer-trace"
-const repo = process.env.FLASHINFER_TRACE_REPO ?? DEFAULT_REPO
-const ref = process.env.FLASHINFER_TRACE_REF ?? "origin/main"
+const DEFAULT_REPO = "https://huggingface.co/datasets/flashinfer-ai/flashinfer-trace"
+const repo = process.env.FIB_DATASET_REPO ?? DEFAULT_REPO
+const ref = process.env.FIB_DATASET_REF ?? "origin/main"
 const token = process.env.GH_TOKEN
 
-const datasetRootEnv = process.env.FLASHINFER_TRACE_PATH ?? "/tmp/flashinfer-trace"
+const datasetRootEnv = process.env.FIB_DATASET_PATH ?? "/tmp/flashinfer-trace"
 const datasetRoot = path.isAbsolute(datasetRootEnv)
   ? datasetRootEnv
   : path.resolve(process.cwd(), datasetRootEnv)
@@ -40,15 +40,11 @@ function ensureDataset() {
   mkdirSync(path.dirname(datasetRoot), { recursive: true })
 
   if (!existsSync(datasetRoot)) {
-    console.log(`[prebuild] Cloning dataset from ${repo}`)
+    console.log(`[prebuild] ${datasetRoot} does not exist; cloning from ${repo}:${ref}`)
     run("git", ["clone", "--depth=1", authRepo, datasetRoot])
+    run("git", ["-C", datasetRoot, "reset", "--hard", ref])
     return
   }
-
-  console.log("[prebuild] Refreshing existing dataset checkout")
-  run("git", ["-C", datasetRoot, "fetch", "--all", "--prune"])
-  run("git", ["-C", datasetRoot, "reset", "--hard", ref])
-  run("git", ["-C", datasetRoot, "clean", "-fd"])
 }
 
 try {