uw-math-ai/

APRIL

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

The APRIL dataset contains 258,103 examples of… See the full description on the dataset page: https://huggingface.co/datasets/uw-math-ai/APRIL.