Spaces:
Running
Running
File size: 1,286 Bytes
5eabbc2 13ec6f7 5eabbc2 d60969f 55708f7 d60969f 42c42c0 55708f7 a1a6808 42c42c0 593a0c8 348818c e170e2e 348818c 593a0c8 d60969f 55708f7 d60969f 5eabbc2 55708f7 d60969f 2297316 d60969f 5eabbc2 13ec6f7 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 |
<!DOCTYPE html>
<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>
|