Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Scalable Precise Computation of Shannon Entropy
Yong Lai, Haolong Tong, Zhenghang Xu +1
Quantitative information flow analyses (QIF) are a class of techniques for measuring the amount of confidential information leaked by a program to its public outputs. Shannon entro…
cs.AI2023
PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas
Yong Lai, Zhenghang Xu, Minghao Yin
In Weighted Model Counting (WMC), we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment…