Published November 11, 2023 | Version v5

Dataset Open

LeanDojo Benchmark

Yang, Kaiyu¹

1. California Institute of Technology

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 (47.3 MB)

Name	Size	Download all
leandojo_benchmark_v5.tar.gz md5:4b256200618d4668b12a9cfe8c4df4d3	47.3 MB	Download

Additional details

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

3K

Views

869

Downloads

Show more details

	All versions	This version
Views	2,968	1,533
Downloads	869	411
Data volume	47.2 GB	22.0 GB

More info on how stats are collected....

DOI

Resource type

Dataset

Publisher

Zenodo

Technical metadata

Created: November 11, 2023
Modified: November 11, 2023