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)

2K

Views

752

Downloads

Show more details

	All versions	This version
Views	2,065	736
Downloads	752	313
Data volume	41.1 GB	17.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