Spaces:
Running
Running
| <html> | |
| <head> | |
| <title>GLUE leaderboard</title> | |
| <meta http-equiv="Content-type" content="text/html; charset=utf-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1"> | |
| <style> | |
| @media (prefers-color-scheme: dark) { | |
| html { | |
| filter: invert(100%); | |
| } | |
| body { | |
| background: white; | |
| } | |
| } | |
| </style> | |
| <script> | |
| document.addEventListener('DOMContentLoaded', async ()=>{ | |
| let txt = await fetch('leaderboard.tsv').then(x=>x.text()) | |
| txt = txt.replaceAll('\t', '</td><td>') | |
| txt = txt.replaceAll('\n', '</td></tr><tr><td>') | |
| txt = '<table><tr><td>' + txt + '</td></tr></table>' | |
| document.body.insertAdjacentHTML('beforeend', txt) | |
| if(parent != window){ | |
| let n = +sessionStorage.getItem('HF') | |
| if(n%2) { | |
| document.body.style.display = '' | |
| } | |
| sessionStorage.setItem('HF', ++n) | |
| } | |
| else { | |
| document.body.style.display = '' | |
| } | |
| setTimeout(() => { | |
| if(document.body.style.display == 'none') { | |
| document.body.style.display = '' | |
| sessionStorage.setItem('HF', 0) | |
| } | |
| }, 2000); | |
| }) | |
| </script> | |
| </head> | |
| <body style="display: none;"> | |
| <div> | |
| <a href="https://gluebenchmark.com/leaderboard/">https://gluebenchmark.com/leaderboard/</a> | |
| <span> (2024-0601) </span> | |
| </div> | |
| <br> | |
| </body> | |
| </html> | |