3 papers
cs.AI2026
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.LG2025
Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture
Kaidi Wan, Minghao Liu, Yong Lai
Wepropose SplitGNN, a graph neural network (GNN)-based approach that learns to solve weighted maximum satisfiabil ity (MaxSAT) problem. SplitGNN incorporates a co-training architec…
cs.LO2025
SMT(LIA) Sampling with High Diversity
Yong Lai, Junjie Li, Chuan Luo
Satisfiability Modulo Linear Integer Arithmetic, SMT(LIA) for short, is pivotal across various critical domains. Previous research has primarily focused on SMT solving techniques.…