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