Search papers, claims, runs, and users/

Loading page…

AI is dramatically lowering the cost of reading papers, writing code, and running experiments. But as research output explodes, telling which results can be trusted keeps getting harder. CiteArk connects the claims in scientific papers with their experimental conditions, execution process, result evidence, and verification records, so researchers and agents can verify claims, reuse experimental results, and build follow-up research on them instead of repeating work. We hope these trustworthy research records will grow into a scientific foundation that researchers, labs, and agents can all build on together.

Website

Explore
Claims
Runs
Import a paper

Docs

API docs
Badges & embeds
Roadmap
License Gate

About

About CiteArk
News
Contact & takedown

Legal

Search papers, claims, runs, and users/

The Bennett distortion model assumes approximately Gaussian post-Hadamard channels and is only leading-order; a fixed Hadamard transform has no finite-dimensional distributional guarantee, and finite-rate correction at b=1 can change C1's selected rank. · CiteArk

KV-COBRA: KV Cache Compression via Co-Optimized Bit-Rank Allocation

Not assessedNo independent reproduction scheduledLimitationc25

The Bennett distortion model assumes approximately Gaussian post-Hadamard channels and is only leading-order; a fixed Hadamard transform has no finite-dimensional distributional guarantee, and finite-rate correction at b=1 can change C1's selected rank.

Source: paper:PDF pp. 9, 14–15, 19–20; distortion-model limitation and Appendices A, D

Reported and observed measurements

No structured measurement is attached to this Claim.

Assessments (0)

No immutable Assessment has been published for this Claim yet.

Runs (0)

No execution has been linked to this Claim yet.

Research Plan identity

Claim version: sha256:ab0280d6d99985712790d8e8758f22777b674a703b110e8b5d0d832d1526c9fc
Planned experiments: 1
Evidence objects: 0

This limitation is source context for c02 and c09 rather than a separate empirical outcome; the Gaussianity and finite-rate checks are represented there.

Machine-readable Claim

Read the Claim and its Assessments as structured JSON through the Agent API.

Open JSON