107 citations · 185 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022
Verified Reversible Programming for Verified Lossless Compression
James Townsend, Jan-Willem van de Meent
Lossless compression implementations typically contain two programs, an encoder and a decoder, which are required to be inverse to one another. We observe that a significant class…
eess.IV2022★ 3 cited
Parallel Neural Local Lossless Compression
Mingtian Zhang, James Townsend, Ning Kang +1
The recently proposed Neural Local Lossless Compression (NeLLoC), which is based on a local autoregressive model, has achieved state-of-the-art (SOTA) out-of-distribution (OOD) gen…