{"paper":{"id":"2609.00058.pdf","title":"CUDA-Harness: Harnessing Agentic CUDA Kernel Generation and Optimization from Natural Language","authors":["Qi Fan","An Zou","Yehan Ma"],"arxiv_id":"","url":"","source_kind":"pdf","ir_version":"1.0"},"generated_at":"2026-09-14T04:12:39.756911+00:00","counts":{"error":0,"warning":0,"info":0},"findings":[],"top_findings":[],"ir_summary":{"claims":23,"contributions":4,"method_components":12,"experiments":7,"baselines":7,"datasets":2,"metrics":3,"tables":3,"figures":3,"citations":30,"equations":0,"quantitative_results":283,"has_repository":false},"ir_health":{"observations":[{"code":"compile-warning","severity":"note","message":"references: the reference list carries no entry numbers; citation keys are enumeration order [1]..[N], not labels printed in the paper, so a key may not match the [N] used in the body","detail":""}],"errors":0,"warnings":0,"trustworthy":true},"diagnostics":{"source":"/home/oceann/workspace/research-linter/eval/papers/2609.00058.pdf","rules_run":["RL001","RL002","RL003","RL004","RL005"],"rules_skipped":[],"rule_errors":{},"rule_findings":{"RL001":0,"RL002":0,"RL003":0,"RL004":0,"RL005":0},"rule_seconds":{"RL001":0.01,"RL002":102.84,"RL003":1.33,"RL004":0.11,"RL005":0.32},"dropped_no_evidence":0,"demoted_low_confidence":0,"ir_health":{"observations":[{"code":"compile-warning","severity":"note","message":"references: the reference list carries no entry numbers; citation keys are enumeration order [1]..[N], not labels printed in the paper, so a key may not match the [N] used in the body","detail":""}],"errors":0,"warnings":0,"trustworthy":true},"notes":["RL001 funnel arithmetic: sentences_with_from=2 endpoint_pairs=0 claims_compared=0 emitted=0 [dropped: not-a-measurement=0]","RL001 funnel delta-column: structured_tables=3 with_exactly_one_delta_column=0 rows_checked=0 emitted=0","RL001 funnel cross-location: quant=283 prose=122 prose_with_metric=4 prose_with_dataset=0 prose_with_metric_and_dataset=0 distinct_buckets=0 emitted=0 [dropped: not-a-measurement=1 not-in-quote=20]","RL001 funnel identifier-drift: settings_checked=2 sections_stating_one_value=0 emitted=0","RL002 citation entailment: attempted 11 of 11 ranked cited claims (36 in-text markers from 30 bibliography entries); 0 cited works could not be identified, 2 had no retrievable text, 0 model quotes failed verbatim verification, 0 were topically unrelated to the retrieved text.","RL002 candidate ranking (why the top 11 were chosen): [27] [introduction, absolutist wording, title/sentence overlap near zero]; [11] [introduction, names an artefact (ConCuR)]; [8] [introduction, names an artefact (ReGraphT)]; [16] [introduction, title/sentence overlap near zero]; [5] [introduction, title/sentence overlap near zero]; [1] [experiment, names an artefact (Besides Seed2.0 Lite), absolutist wording, title/sentence overlap near zero, no DOI/arXiv id]; [25] [experiment, names an artefact (GLM-5.1), absolutist wording, title/sentence overlap near zero]; [20] [experiment, names an artefact (KernelSkill), absolutist wording, title/sentence overlap near zero]","RL002 label distribution over 9 classified citations: PARTIALLY_SUPPORTED=1, SUPPORTED=8","RL002 base-rate self-check: not tripped (0/9 = 0% NOT_SUPPORTED, threshold 40%).","RL002 attribution check (case B): 5 candidates name an artefact, 5 of them made the top-N and were checked against their cited source","RL002: 1 citations skipped because the sentence reports this paper's own results (the citation there is a comparison pointer, not evidence for the sentence)","RL002: 3 enumerated-citation sentences skipped (they cite >=3 works, so the claim is about the set and cannot be refuted by any single cited work)","RL002: 1 attributions dropped as family variants (the cited work is an adjacent version in the same family, e.g. 'DeepSeek-Prover' against DeepSeek-Prover-V2) -- not cleared, just not worth an author's time","RL003: 3 queries -> 93 unique works (arXiv search 44, category listings 0, scholarly graph 49 [crossref 49], 0 graph works matched to an arXiv id); source errors during retrieval: arXiv 0, graph 0","RL003: parsed the reference list of 9/12 comparable papers (3 unreadable) — that is the PeerUsage denominator","RL003: enriched 1 of 3 candidates with their own abstract (2 unavailable, 0 over budget); 0 dropped as published after this paper","RL003: scholarly graph for this run = crossref","RL003 funnel (300 candidates): already_used_by_the_paper -9, cited_only_from_related_work -79, is_the_paper_itself -1, peer_usage_below_quorum -86, survey_or_artifact -43, title_names_no_method -79 || kept: citation_context_unknown +45 || survived-cheap-gates 3 -> with-abstract 1 -> comparable 3 -> above-threshold-0.65 0","RL003 candidate: 'Kevin' score 0.636 (T 0.50 D 0.50 M 1.00 P 0.56 R 1.00; 5/9 peers cite it) -> not reported","RL003 candidate: 'Dr. Kernel' score 0.442 (T 0.00 D 0.50 M 1.00 P 0.33 R 1.00; 3/9 peers cite it; title-only, no abstract available) -> not reported","RL003 candidate: 'Triton' score 0.399 (T 0.00 D 0.50 M 1.00 P 0.33 R 0.14; 3/9 peers cite it; title-only, no abstract available) -> not reported","RL003: 3 comparable candidates all scored below 0.65 — nothing to report for this paper","RL004 funnel: components=12 contribution_backed=6 candidates=3 ablations_found=5 matched_by_ablation=3 unmatched=0 experiments=7","RL004 component M1 'Intermediate-Structured Generation': covered (candidate)","RL004 component M2 'Kernel Implementation Manifest': covered (filtered earlier)","RL004 component M3 'Self-Contained CUDA Scaffold': covered (filtered earlier)","RL004 component M4 'Synthesis-Based Verification': covered (candidate)","RL004 component M5 'Decoupled Test Data Synthesis': covered (filtered earlier)","RL004 component M6 'Progressive Multi-Stage Validation': excluded:stage-of-a-larger-claimed-component","RL004 component M7 'Feedback-Adaptive Evolution': covered (candidate)","RL004 component M8 'Correctness-First Refinement': covered (filtered earlier)","RL004 component M9 'Reward-Driven Optimization': covered (filtered earlier)","RL004 component M10 'optimization insight summarization': excluded:not-a-claimed-contribution","RL004 component M11 'Reinforcement Learning with Verifiable Reward (RLVR)': excluded:not-a-claimed-contribution","RL004 component M12 'reasoning-action (ReAct) paradigm': excluded:not-a-claimed-contribution","RL004 funnel: ranked=0 emitted=0 suppressed_by_cap=0 dropped_unverified_quote=0","RL005: repo https://github.com/anomalyco/opencode unusable (stopped early after 214 files / 4008190 bytes)"],"missing_core_rules":[],"seconds":114.3,"llm":{"calls":9,"cache_hits":3,"errors":0,"prompt_chars":73714},"sources":{"arxiv":{"requests":19,"errors":0,"cache_hits":30,"available":1},"openalex":{"requests":1,"errors":0,"cache_hits":0,"available":0,"unavailable_reason":"OpenAlex free daily budget exhausted (resets midnight UTC)"},"crossref":{"requests":11,"errors":0,"cache_hits":5,"available":1},"s2":{"requests":0,"errors":0,"cache_hits":0,"available":1},"short_circuited":["crossref","openalex","s2"]},"cache":{"hits":38,"misses":40}},"compile_warnings":["references: the reference list carries no entry numbers; citation keys are enumeration order [1]..[N], not labels printed in the paper, so a key may not match the [N] used in the body"]}