Published November 11, 2023 | Version v5
Dataset Open

LeanDojo Benchmark 4

  • 1. California Institute of Technology

Description

Files

Files (56.3 MB)

Name Size Download all
md5:5c1bb0ce1fd1572e8c3d0c3a642e356f
56.3 MB Download

Additional details

Related works

Is described by
https://leandojo.org/ (URL)