Pradheep1647/strictly-speaking download history

Pradheep1647/strictly-speaking is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 47 times (1 in the last 7 days), and 47 times in total. It ranks #194,103 among datasets by monthly downloads.

Strictly Speaking Does a model's mathematical understanding hold up strictly speaking, at Lean-grade precision, or is it only right in the ordinary, looser sense that informal writing usually gets away with? Each row is derived from a real, already-formalized Lean 4 theorem (drawn fro

Open Pradheep1647/strictly-speaking on Hugging Face

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