LARK-Lab/FormalRx-Test download history

LARK-Lab/FormalRx-Test is a text classification dataset on the Hugging Face Hub. In the last 30 days it was downloaded 44 times (10 in the last 7 days), and 1,519 times in total. It ranks #203,866 among datasets by monthly downloads.

FormalRx-Test FormalRx-Test is the official test split of FormalRx (Wang et al., 2025), a diagnostic evaluation framework that transforms autoformalization assessment from opaque binary judgments into actionable feedback. It consists of 7,030 natural-language / Lean 4 statement pairs anno

Open LARK-Lab/FormalRx-Test on Hugging Face

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