Chengxiao Wang

According to our database, Chengxiao Wang authored at least 6 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, July, 2025

Nova: Generative Language Models for Assembly Code with Hierarchical Attention and Contrastive Learning.

Nan Jiang, Chengxiao Wang, Kevin Liu, Xiangzhe Xu, Lin Tan, Xiangyu Zhang, Petr Babkin

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

LATTE: Improving Latex Recognition for Tables and Formulae with Iterative Refinement.

Nan Jiang, Shanchao Liang, Chengxiao Wang, Jiannan Wang, Lin Tan

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2023

Nova⁺: Generative Language Models for Binaries.

Nan Jiang, Chengxiao Wang, Kevin Liu, Xiangzhe Xu, Lin Tan, Xiangyu Zhang

CoRR, 2023

2021

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

2019

A time difference of arrival/angle of arrival fusion algorithm with steepest descent algorithm for indoor non-line-of-sight locationing.

Chong Shen, Chengxiao Wang, Kun Zhang, Xianpeng Wang, Jing Liu

Int. J. Distributed Sens. Networks, 2019