l3lab/ntp-mathlib download history

l3lab/ntp-mathlib is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 101 times (17 in the last 7 days), and 2,860 times in total. It ranks #114,007 among datasets by monthly downloads.

miniCTX: Neural Theorem Proving with (Long-)Contexts Lean 4 tactic prediction examples extracted from Mathlib. These examples have not been formatted for instruction tuning (including data splits). Please see l3lab/ntp-mathlib-instruct-* for datasets with instruction tuning examples.

Open l3lab/ntp-mathlib on Hugging Face

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