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.