Following NEAR AI topping putnambench leaderboard, we now have claimed #1 on Lean Eval v1, the official active benchmark | Hanami
Following NEAR AI topping putnambench leaderboard, we now have claimed #1 on Lean Eval v1, the official active benchmark maintained by the Lean developers.
We now have a very capable and cheap formal verification agent, and will share how we use it to formally prove NEAR protocol and smart contracts soon.