Scalable Precise Computation of Shannon Entropy. - Yong Lai 001; Haolong Tong; Zhenghang Xu; Minghao Yin (SAT, 2025)