Sign inGet started
Dataset · Hugging Face

tsinghua-sigs-robot-lab/VeriLoop-E2-Evaluation-Evidence

VeriLoop E2 Evaluation Evidence Public evaluation evidence for VeriLoop E2 across nine code, agentic, mathematical, and scientific reasoning benchmarks. This dataset repository is the canonical public evidence layer for the reported benchmark results of VeriLoop E2, a post-trained model based on Qwen 3.8-27B. It is designed to separate headline benchmark reporting from the underlying auditable artifacts required to inspect, reproduce, and verify those results. The repository… See the full description on the dataset page: https://huggingface.co/datasets/tsinghua-sigs-robot-lab/VeriLoop-E2-Evalu

Author / organizationtsinghua-sigs-robot-lab
License (as declared)other
Downloads2.8K (as reported by Hugging Face)
Likes1
Created22 September 2026
Last updated at source28 September 2026
veriloop-e2evaluationbenchmarksreproducibilitycode-generationmathematical-reasoningscientific-reasoning
Embed this entry
<iframe src="https://silytics.si/embed/item/f6fe2b1f-79fc-49ae-84b5-b2d7e7bb0a62" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 5 days

2,848 now (+324 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from tsinghua-sigs-robot-lab

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 20 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.