← Back to context Comment by red75prime 21 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 21 hours ago Wouldn't they just list the number of problems solved then? dekhn 20 hours ago rates beat counts almost always.
YeGoblynQueenne 21 hours ago Wouldn't they just list the number of problems solved then? dekhn 20 hours ago rates beat counts almost always.
Wouldn't they just list the number of problems solved then?
rates beat counts almost always.