3 citations · 3 across the 3 of their papers we have counts for
3 papers
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…
cs.IT2025★ 3 cited
Performance Bounds and Degree-Distribution Optimization of Finite-Length BATS Codes
Mingyang Zhu, Shenghao Yang, Ming Jiang +1
Batched sparse (BATS) codes were proposed as a reliable communication solution for networks with packet loss. In the finite-length regime, the error probability of BATS codes under…
cs.DC2024
Hamster: A Fast Synchronous Byzantine Fault Tolerance Protocol
Ximing Fu, Mo Li, Qingming Zeng +4
This paper introduces Hamster, a novel synchronous Byzantine Fault Tolerance protocol that achieves better performance and has weaker dependency on synchrony. Specifically, Hamster…