#benchmark

Google's Stellar Colosseum harness scores 71.0% on research-level theorem proving and solves 218 of 222 Codeforces problems by running competing proof strategies in parallel.

A consumer product with more than 200,000 users and a fintech platform that has processed over 100,000 bank statements have done something unusual with their pr...