A time difference of arrival/angle of arrival fusion algorithm with steepest descent algorithm for indoor non-line-of-sight locationing. - Chong Shen 002; Chengxiao Wang; Kun Zhang 011; Xianpeng Wang 001; Jing Liu 041 (Int. J. Distributed Sens. Networks, 2019)

A Two-Stage Separation of Circulating Tumor Cells Based on Deterministic Lateral Displacement and Dielectrophoresis Techniques. - Yanjuan Wang; Chengxiao Wang; Yunfei Zhang; Meiqi Han; Yangjinyu Li; Shanyu Jin; Haiqi He (IEEE Access, 2021)

Nova+: Generative Language Models for Binaries. - Nan Jiang 012; Chengxiao Wang; Kevin Liu; Xiangzhe Xu; Lin Tan 001; Xiangyu Zhang 001 (CoRR, 2023)

LATTE: Improving Latex Recognition for Tables and Formulae with Iterative Refinement. - Nan Jiang 012; Shanchao Liang; Chengxiao Wang; Jiannan Wang 002; Lin Tan 001 (AAAI, 2025)

Nova: Generative Language Models for Assembly Code with Hierarchical Attention and Contrastive Learning. - Nan Jiang 012; Chengxiao Wang; Kevin Liu; Xiangzhe Xu; Lin Tan 001; Xiangyu Zhang 001; Petr Babkin (ICLR, 2025)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts. - Aaron Councilman; David Fu; Aryan Gupta; Chengxiao Wang; David Grove; Yu-Xiong Wang; Vikram S. Adve (CoRR, 2025)