Datasetpublic

suzakuteam/ProofWriter_formatted_v2

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes7downloads

2 commits on main

b9275221y ago

Add formatted data from renma/ProofWriter (all splits, improved logic)

sasakama-ck

cd29d401y ago

initial commit

sasakama-ck