l3lab/ntp-mathlib-instruct-context-fullproof download history

l3lab/ntp-mathlib-instruct-context-fullproof is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 51 times (8 in the last 7 days), and 1,715 times in total. It ranks #183,401 among datasets by monthly downloads.

miniCTX: Neural Theorem Proving with (Long-)Contexts Lean 4 full proof generation examples extracted from Mathlib. Examples contain: prompt: instruction, preceding file content completion: proof The file content has been truncated to 1024 tokens. Version Generated using ntp

Open l3lab/ntp-mathlib-instruct-context-fullproof on Hugging Face

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