Zhang, Wenhui

2 publications

AAAI 2025 Portcullis: A Scalable and Verifiable Privacy Gateway for Third-Party LLM Inference Jiangou Zhan, Wenhui Zhang, Zheng Zhang, Huanran Xue, Yao Zhang, Ye Wu

IJCAI 2019 Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang