tsinghua-sigs-robot-lab/VeriLoop-Coder-E1-Evaluation-Evidence download history
tsinghua-sigs-robot-lab/VeriLoop-Coder-E1-Evaluation-Evidence is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,774 times (209 in the last 7 days), and 4,885 times in total. It ranks #12,446 among datasets by monthly downloads.
VeriLoop Coder-E1 Evaluation Evidence This repository contains the public evaluation-evidence packages referenced by the official VeriLoop Coder-E1 benchmark result files. Model repository: tsinghua-sigs-robot-lab/veriloop-coder-e1 Evidence packages Benchmark Evid
Open tsinghua-sigs-robot-lab/VeriLoop-Coder-E1-Evaluation-Evidence on Hugging Face
Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.