CoolFace
Datasetpublic

hoskinson-center/proofnet

A dataset that evaluates formally proving and autoformalizing undergraduate mathematics.

sourceHugging Facemitupdated 4y agoView on Hugging Face
24likes935downloads
root.gitattributes

Nothing at this path on main. The folder may be empty, or the revision may not exist.

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