DSCom: A Data-Driven Self-Adaptive Community-Based Framework for Influence Maximization in Social Networks. - Yuxin Zuo; Haojia Sun; Yongyi Hu; Jianxiong Guo; Xiaofeng Gao 001 (CoRR, 2023)

Gradual Verification for Smart Contracts. - Haojia Sun; Kunal Singh; Jan-Paul Ramos-Dávila; Jonathan Aldrich; Jenna DiVincenzo (CoRR, 2023)

Retrieval-Augmented Generation for Domain-Specific Question Answering: A Case Study on Pittsburgh and CMU. - Haojia Sun; Yaqi Wang; Shuting Zhang (CoRR, 2024)