marcusm117/ProofNet-Verified download history
marcusm117/ProofNet-Verified is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 361 times (237 in the last 7 days), and 479 times in total. It ranks #42,572 among datasets by monthly downloads.
ProofNet-Verified Resource Links: Paper: https://openreview.net/forum?id=5c0RSYyIWW, https://openreview.net/forum?id=NjgaeXNit3 GitHub: https://github.com/marcusm117/ProofNet-Verified HuggingFace: https://huggingface.co/datasets/marcusm117/ProofNet-Verified Visualization: https://mar