Upabjojr/tptp-v9.3.1 download history

Upabjojr/tptp-v9.3.1 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 52 times (4 in the last 7 days), and 52 times in total. It ranks #180,402 among datasets by monthly downloads.

The TPTP problem library, v9.3.1 — a preservation copy The TPTP (Thousands of Problems for Theorem Provers) is the standard library of test problems for automated theorem proving, created by Geoff Sutcliffe and Christian Suttner and maintained by Geoff Sutcliffe, with problems contrib

Open Upabjojr/tptp-v9.3.1 on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.