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