← Back to context Comment by red75prime 20 hours ago I guess it's a fraction of problems on which a model produces a LEAN proof or a counterexample. 2 comments red75prime Reply YeGoblynQueenne 20 hours ago Wouldn't they just list the number of problems solved then? dekhn 19 hours ago rates beat counts almost always.
YeGoblynQueenne 20 hours ago Wouldn't they just list the number of problems solved then? dekhn 19 hours ago rates beat counts almost always.
Wouldn't they just list the number of problems solved then?
rates beat counts almost always.