activity
20202026
most citedUtility Maximization for Multihop Wireless Networks Employing BATS Codes

1 citations · 2 across the 5 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…