activity
20242026
most citedPerformance Bounds and Degree-Distribution Optimization of Finite-Length BATS Codes

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing math.HOShow all

1 paper · 1 filter

math.HO2026

A machine-checked proof of the Dong-Yang classification of optimal (n,4) binary codes for BSCs

Shenghao Yang, Yanyan Dong

We present a machine-checked Lean~4 formalization of Dong and Yang's classification of optimal finite-length binary block codes for binary symmetric channels. The formaliza…