3 ms·

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

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