Datasetpublic

batianxieshen/APRIL

APRIL Dataset Paper Model & Dataset Download Resource Description Link APRIL Dataset 260K Lean proof-repair tuples with compiler diagnostics and explanations uw-math-ai/APRIL gAPRIL-w-exp Goedel-8B finetuned on APRIL with joint explanation supervision uw-math-ai/gAPRIL-w-exp gAPRIL-wo-exp Goedel-8B finetuned on APRIL for repair only (no explanations) uw-math-ai/gAPRIL-wo-exp Dataset Description The APRIL dataset contains 258,103… See the full description on the dataset page: https://huggingface.co/datasets/batianxieshen/APRIL.

sourceHugging Faceapache-2.0updated 5mo agoView on Hugging Face

0likes68downloads

root

dirtest/

dirtrain/

dirval/

file.gitattributes3 KBdownload

filedata_by_split.zip272.1 MBdownload

fileREADME.md7 KBdownload

batianxieshen/APRIL · main · files are served by the source, never re-hosted here