Team Ai
Datasetpublic

HaimingW/proofnet-lean4

sourceHugging Faceupdated 2y agoView on Hugging Face
0likes87downloads
rootdata
../
filefew_shot_examples-00000-of-00001.parquet30 KBdownload
filetest-00000-of-00001.parquet48 KBdownload
filevalid-00000-of-00001.parquet48 KBdownload

HaimingW/proofnet-lean4 · main · files are served by the source, never re-hosted here