GuoxinChen/ConsistencyCheck download history

GuoxinChen/ConsistencyCheck is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 50 times (7 in the last 7 days), and 712 times in total. It ranks #185,599 among datasets by monthly downloads.

ConsistencyCheck Benchmark ConsistencyCheck is a high-quality benchmark for evaluating semantic consistency between natural-language mathematical statements and their formalized counterparts in Lean 4. It was developed as part of the paper: REFORM: Reflective Autoformalization with

Open GuoxinChen/ConsistencyCheck on Hugging Face

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