Paper Citation Record · LEDGER

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family

As of 17 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2608.12700.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.12700 v1

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:24:07.373784Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

18 of 18 outbound references displayed

verified exact2
verified fuzzy4
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cc1fd583-7e26-45a1-8d90-d8195f648648 · outbound

This paper cites Transformers are SSMs: Generalized models and efficient algorithms throughstructuredstatespaceduality.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Transformers are SSMs: Generalized models and efficient algorithms throughstructuredstatespaceduality

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:24:07.789399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d364a864-43f2-4aff-8381-8da3c17f8287 · outbound

This paper cites Dataset: hkust-nlp/drkernel-coldstart-8k.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Dataset: hkust-nlp/drkernel-coldstart-8k

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.311564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6be4f01-5c66-4697-9e66-a0d20eb4114a · outbound

This paper cites Mamba: Linear-Time Sequence Modeling with Selective State Spaces.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Mamba: Linear-Time Sequence Modeling with Selective State Spaces

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.315266Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 927b3841-7f75-4038-874c-54974a1faccc · outbound

This paper cites Lange et al.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Lange et al

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.319064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9ad2105-9afe-42be-8ffb-ea7bd909dd1d · outbound

This paper cites TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.322759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1702ffe5-cf18-42ee-a0c6-22fc3cfba091 · outbound

This paper cites CUDA-L1: Improving CUDA Optimization via Contrastive Reinforcement Learning.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family CUDA-L1: Improving CUDA Optimization via Contrastive Reinforcement Learning

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.327044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15ca4af8-4981-424c-9398-3efc1ef88a83 · outbound

This paper cites Mamba-3: Structured state-space models with complex and multi-input- multi-output recurrences.International Conference on Learning Representations (ICLR); arXiv:2603.15569, 2026.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Mamba-3: Structured state-space models with complex and multi-input- multi-output recurrences.International Conference on Learning Representations (ICLR); arXiv:2603.15569, 2026

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.331371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3dd4017-42d2-4853-a554-f52edb8db0dd · outbound

This paper cites KernelBench: Can LLMs Write Efficient GPU Kernels?.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family KernelBench: Can LLMs Write Efficient GPU Kernels?

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.335406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1b6543b-ab03-4a4e-8f1f-e97b22703c4b · outbound

This paper cites The Correctness Illusion in LLM-Generated GPU Kernels.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family The Correctness Illusion in LLM-Generated GPU Kernels

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.339610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59722d55-078f-4393-a35f-f663c5693e61 · outbound

This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.343642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e58081cb-4269-4507-9173-c8b6fb0108ad · outbound

This paper cites Issue #904: Mamba-3 SISO backward is 38.7× slower on GB200/B200.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Issue #904: Mamba-3 SISO backward is 38.7× slower on GB200/B200

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:24:07.775950Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2be130d6-ce90-48f5-80b6-1dd379945805 · outbound

This paper cites Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-16T04:24:07.463630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 70708f25-8354-499d-ad5a-30c640d06d8f · outbound

This paper cites Lunze, Wojciech Samek, and Tobias Schaeffter.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Lunze, Wojciech Samek, and Tobias Schaeffter

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:24:07.762260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 957d8299-8b1e-4e73-8735-acdf2c232b4b · outbound

This paper cites Gated Delta Networks: Improving Mamba2 with Delta Rule.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Gated Delta Networks: Improving Mamba2 with Delta Rule

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.358892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 074887aa-700c-42d9-b113-426e6f1e3de1 · outbound

This paper cites Gated Linear Attention Transformers with Hardware-Efficient Training.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Gated Linear Attention Transformers with Hardware-Efficient Training

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.362492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3aaf0d1-f238-4df8-91f5-fb2fa7daa421 · outbound

This paper cites Parallelizing Linear Transformers with the Delta Rule over Sequence Length.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Parallelizing Linear Transformers with the Delta Rule over Sequence Length

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-16T04:24:07.366253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a84d55ae-0cdc-4595-a54a-4abcd614e479 · outbound

This paper cites FLA:Atriton-basedlibraryforhardware-efficientimplementations of linear attention mechanisms.https://github.com/fla-org/flash-linear-attenti on, 2024.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family FLA:Atriton-basedlibraryforhardware-efficientimplementations of linear attention mechanisms.https://github.com/fla-org/flash-linear-attenti on, 2024

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:24:07.748263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 77f7bc36-5b6a-4c18-a1e0-6f119442bca9 · outbound

This paper cites Hardening Agent Benchmarks with Adversarial Hacker-Fixer Loops.

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family Hardening Agent Benchmarks with Adversarial Hacker-Fixer Loops

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-08-16T04:24:07.411271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Pith citing papers

No inbound Pith citation observations are available.