Karifannaa/BlueprintTrace download history

Karifannaa/BlueprintTrace is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 186 times (22 in the last 7 days), and 186 times in total. It ranks #71,877 among datasets by monthly downloads.

BlueprintTrace 142 failed Lean proof blueprints over 141 miniF2F targets. Benchmark for BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints, accepted at MathNLP 2026 (EMNLP). Ruslan Khrulev · Lomonosov Moscow State University Code and evaluator · Paper · Citation

Open Karifannaa/BlueprintTrace on Hugging Face

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