You can find TLAPS-Bench here, It's still in alpha. We were planning to talk about it and beg people for tokens to run experiments at @SnorkelAI's Frontier Data Summit, but Markus is perhaps right…