Published November 11, 2023
| Version v5
Dataset
Open
LeanDojo Benchmark 4
Description
Lean 4 version of the dataset in the paper:
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
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)