SabaPivot/repro-ai4slt-empirical-processes-in-lean-4-for-formal-statistical-learning-theory-traces download history

SabaPivot/repro-ai4slt-empirical-processes-in-lean-4-for-formal-statistical-learning-theory-traces is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 84 times (19 in the last 7 days), and 216 times in total. It ranks #128,840 among datasets by monthly downloads.

Agent traces Agent sessions published from a Trackio Logbook.

Open SabaPivot/repro-ai4slt-empirical-processes-in-lean-4-for-formal-statistical-learning-theory-traces on Hugging Face

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