From the 2 of 4 linked papers with an AI index.
4 papers
A Distributed Framework for Compiling and Reasoning with d-DNNF
Zhenghang Xu, Minghao Yin, jianan Wang +1
Knowledge Compilation (KC) is a powerful paradigm that enables efficient reasoning by transforming propositional formulas into tractable target languages, such as Deterministic, De…
gDMC: A Generic Distributed Model Counting Framework via Work-Stealing
Zhenghang Xu, Minghao Yin, Jumping Zhou +1
The paper introduces gDMC, a generic framework that uses work‑stealing to distribute exact propositional model counting across multiple cores, allowing existing #SAT solvers to be…
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…
Data-driven solar forecasting enables near-optimal economic decisions
Zhixiang Dai, Minghao Yin, Xuanhong Chen +27
Solar energy adoption is critical to achieving net-zero emissions. However, it remains difficult for many industrial and commercial actors to decide on whether they should adopt di…