No README published on Hugging Face for this revision.
prover/entailmentbank_task1/single_shot/epoch=399-step=8400.ckpt 8.9 GBprover/entailmentbank_task1/stepwise/epoch=499-step=10500.ckpt 8.9 GBprover/entailmentbank_task2/single_shot/epoch=399-step=8400.ckpt 8.9 GBprover/entailmentbank_task2/stepwise/epoch=599-step=12600.ckpt 8.9 GBprover/ruletaker/single_shot/epoch=19-step=16680.ckpt 8.9 GBprover/ruletaker/stepwise/epoch=19-step=16940.ckpt 8.9 GBverifier/ruletaker/epoch=49-step=93000.ckpt 4.3 GBverifier/entailmentbank_task1/epoch=49-step=36300.ckpt 4.3 GBverifier/entailmentbank_task2/epoch=49-step=36300.ckpt 4.3 GBHave the files? Submit a torrent.
Submit a torrentHave the complete files and permission to share them? Replace the example folder path. The script checks the files, makes a torrent and submits its magnet and checksums. Keep your torrent client seeding. Get your community key from your settings, and read the script before running it.
curl -fsSL https://pirateface.co/package.sh | bash -s -- --repo kaiyuy/NLProofS ./model-folder