diff --git a/AGENTS.md b/AGENTS.md index 53f5d916ea0086c1b5f7282a911ffe5d0fcd0026..d2663f654983ecd64642835be8deb634c89258b3 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -6,13 +6,15 @@ run no compute, so they are free; do not switch it to Gradio or Docker (those ne ## Files -- `index.html`: the whole page: header, the four tab panels (Leaderboard, Per dataset, - Stability & validity, About), all user-facing text, the citation, `` +- `index.html`: the whole page: header, the five tab panels (Performance, Stability, Validity, + Data overview, About), all user-facing text, the citation, `` and the version history (` @@ -168,6 +237,7 @@ Version history (current: )