Illia (root.near) (🇺🇦, ⋈)
@ilblackdragon
NEAR AI has claimed first place on the Lean Eval v1 leaderboard.
Lean Eval v1 is an active benchmark maintained by Lean FRO that contains extremely hard formalization problems. We reached first place despite joining the competition just four weeks ago, a full month later than
Lean Eval v1 is an active benchmark maintained by Lean FRO that contains extremely hard formalization problems. We reached first place despite joining the competition just four weeks ago, a full month later than
33 440