There is a newer version of the record available.

Published October 26, 2023 | Version v3
Dataset Open

LeanDojo Benchmark

Authors/Creators

  • 1. California Institute of Technology

Description

Files

Files (47.3 MB)

Name Size Download all
md5:8c489ae4cee9c3dda9f3cc2cf549fcd2
47.3 MB Download

Additional details

Related works

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