Sugutt/editable-sketch-repro-results-final download history

Sugutt/editable-sketch-repro-results-final is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 30 times (11 in the last 7 days), and 77 times in total. It ranks #273,959 among datasets by monthly downloads.

Scaled FormalMath-Lite reproduction for paper mI3K0e1KsN This repository contains the machine-verification output from an independent, scaled reproduction of Editable Proof Sketch for Automated Theorem Proving. It is not a benchmark-scale estimate of the paper's reported 76.0% pass ra

Open Sugutt/editable-sketch-repro-results-final on Hugging Face

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