Publications

Engineering an Exact Pseudo-Boolean Model Counter [Code]
Suwei Yang, Kuldeep S. Meel
The Thirty-Eighth AAAI Conference on Artificial Intelligence. AAAI24

Scalable Probabilistic Routes
Suwei Yang, Victor Liang, Kuldeep S. Meel
LPAR 2023: 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. LPAR-24

INC: A Scalable Incremental Weighted Sampler [Code]
Suwei Yang, Victor Liang, Kuldeep S. Meel
Formal Methods in Computer-Aided Design 2022. FMCAD22

Dynamic Graph Segmentation For Deep Graph Neural Networks
Johan Kok, Suwei Yang, Suriya Venkatesan, Sienyi Tan, Feng Cheng, Bingsheng He
The 28th ACM SIGKDD Conference on Knowledge Discovery & Data Mining. KDD22

Predicting Forest Fire Using Remote Sensing Data And Machine Learning
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
The Thirty-Fifth AAAI Conference on Artificial Intelligence. AAAI21