6 ms·

I guess it's a fraction of problems on which a model produces a LEAN proof or a counterexample.

• YeGoblynQueenne 8d ago
  Wouldn't they just list the number of problems solved then?
  • dekhn 8d ago
    rates beat counts almost always.
    • YeGoblynQueenne 6d ago
      You're assuming too much from a single graph with vaguely named axes. I'll wait until there's more concrete information.