Aligning Information Theory and Formal Verification: A Lean Formalization of Rate-Distortion Theory
arXiv 2610.22404v1•5056b540d6f3e43933edd0426ef0738e5d5da47bd8cd65f46fa04f5fc4f066b6
Paper metadata
- arXiv ID
- 2610.22404
- Version
- v1
- Category
- cs.IT, math.IT
- Authors
- Fubin Yan, Ruxuan Dong, Ruoxuan Shi, Duolei Wang, Kenneth W. Shum
- Publication date
- 2026-10-19T04:00:00Z
- Source identifier
- 2610.22404v1
- Public record ID
- record:sha256:5056b540d6f3e43933edd0426ef0738e5d5da47bd8cd65f46fa04f5fc4f066b6
The PDF link points to arxiv.org. Baitaphish does not expose a private stored PDF.
This is source-provided metadata, not an enriched summary or an impact assessment. Follow the canonical source link for the published material.
Evidence and limitations
- Source ID
- arxiv_research
- Record identifier
- 5056b540d6f3e43933edd0426ef0738e5d5da47bd8cd65f46fa04f5fc4f066b6
- Record type
- Source metadata
This record may overlap with other records. Source metadata can be incomplete or change. Validate consequential decisions against the linked source and your own environment.