2026-10-14T15:59:32Z https://www.scidb.cn/oai

10.57760/sciencedb.45268 2026-09-10T14:05:28Z

2026-09-10 HN-TVAudit Public Artifact: Result-Checking Materials for Targeted Hard Negatives and Source-Grounded Claim Qualification in LLM Smart Contract Auditing doi:10.57760/sciencedb.45268 en This artifact accompanies the manuscript “HN-TVAudit: Targeted Hard Negatives and Source-Grounded Claim Qualification for LLM Smart Contract Auditing.” It provides released materials for inspection and independent checking of the reported results.The artifact contains the released Public600 and Public196 evaluation materials, recorded detector predictions, OQ-Cert-SR qualification decisions, human-review records, source and provenance metadata, integrity manifests, method scripts, and source data for the reported tables and figures. OQ-Cert-SR is evaluated on reentrancy (RE) and unchecked-call (UC) claims.For claim qualification, Public600 contains 1,250 released RE/UC claim instances. The primary analysis uses the 932 instances satisfying the stated Primary932 inclusion boundary. Public196 provides cross-dataset evidence based on 43 unique site units derived from released RE/UC claims. Human review covers 83 released decisions: 40 Public600 Core40 claims and all 43 Public196 Site43 units.The artifact supports inspection of detector results, claim-binding information, source-grounded qualification decisions, human-review records, and the reported statistical summaries. smart contract security; large language models; vulnerability detection; hard negatives; result checking; claim qualification wuha PUBLIC https://creativecommons.org/licenses/by/4.0/ dataset Science Data Bank