annon124816/copra download history
annon124816/copra is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 29 times (3 in the last 7 days), and 248 times in total. It ranks #281,348 among datasets by monthly downloads.
COPRA selected theorem-result logs This dataset contains Ergon-native sharded rollout-card exports for the paper artifact. Evidence type: Analytic / non-trace export. This dataset is not a full rollout trace; it is an Ergon sharded analytic/evidence export for COPRA selected theorem-r