upvote

points

by YeGoblynQueenne17 hours ago |
comments
upvoteby red75prime16 hours ago|
[-]
I guess it's a fraction of problems on which a model produces a LEAN proof or a counterexample.
reply
upvoteby YeGoblynQueenne16 hours ago|
parent|
[-]
Wouldn't they just list the number of problems solved then?
reply
upvoteby dekhn15 hours ago|
parent|
[-]
rates beat counts almost always.
reply