There is a newer version of the record available.

Published June 14, 2023 | Version v1
Dataset Open

LeanDojo Benchmark

Creators

  • 1. California Institute of Technology

Description

Files

Files (46.0 MB)

Name Size Download all
md5:8b8ec4899ce2ea5bbde9b9ba8b467b8c
46.0 MB Download

Additional details

Related works

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