Datasetpublic

totolerigolo/hacking-lean4

sourceHugging Faceupdated 7mo agoView on Hugging Face

0likes10downloads

2 commits on main

854868c7mo ago

Upload mistral_lean4_finetune.jsonl

totolerigolo

943c3277mo ago

initial commit

totolerigolo