There is a newer version of the record available.

Published August 12, 2023 | Version v2
Dataset Open

LeanDojo Benchmark

Creators

  • 1. California Institute of Technology

Description

Files

Files (47.2 MB)

Name Size Download all
md5:a4fed5dec29bc8ac25f4a5a48edfa265
47.2 MB Download

Additional details

Related works

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