Verification with Transfer: Exact Information Frontiers and Their Price in Calls
Theory paper prices source-task calls that cut verification cost, with Lean-checked bounds and a transformer test.
Stories per day · 30 days
1 RSS
4 stories, newest first · one card per story
Stories tagged #rate-distortion
Task-Sufficient Contraction: Source Selection for Machine Information Interfaces
A theory paper shows when a task-fixed source reduction preserves the full downstream rate-regret problem.
CurveCodec 2: Skeleton-agnostic animation compression with a learned entropy model
CurveCodec 2 compresses skeletal animation to 0.22–0.37× ACL's size with a learned residual entropy model.
Adaptive Fused Prior Transfer for Controllable Generative Image Compression
AFP-GIC uses frozen AdaCode priors for controllable image compression with lower latency than DC-VIC.