The leaderboard is missing in https://paperswithcode.com/sota/automated-theorem-proving-on-leandojo

paperswithcode / sota-extractor

The SOTA extractor pipeline

Apache License 2.0

304 stars 29 forks source link

Closed zhimin-z closed 5 days ago

zhimin-z commented 3 weeks ago

zhimin-z commented 5 days ago

Check again but found the leaderboard is removed completely, closed...