| 2026 | INFOCOM | A Mutual Information Entropy-Guided HARQ Framework for Semantic Communications. | Haixiao Gao, Junyao Ma, Mengying Sun, Yuantao Zhang, Haiming Wang, Xiaodong Xu |
| 2025 | GLOBECOM | Channel Characteristics for Multi-RIS-Assisted mmWave MIMO Systems: Theories and Field Trials. | Chenhong Yang, Jian Sang, Boning Gao, Ziang Wang, Xiao Li, Weicong Chen, Wankai Tang, Shi Jin, Haiming Wang |
| 2025 | ICLR | CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search. | Xiao-Wen Yang, Zhi Zhou, Haiming Wang, Aoxue Li, Wen-Da Wei, Hui Jin, Zhenguo Li, Yu-Feng Li |
| 2025 | INFOCOM | Generative AI-Driven Cross-Modal Semantic Communication System for Visual Transmission. | Zechuan Fang, Mengying Sun, Yuantao Zhang, Haiming Wang, Xiaodong Xu |
| 2025 | INFOCOM | Adaptive Super-Resolution Semantic Communication for Mobile AI-Generated Panoramic Video. | Haixiao Gao, Mengying Sun, Yuantao Zhang, Haiming Wang, Xiaodong Xu |
| 2025 | INFOCOM | VQ-SDSC: Vector Quantized Satellite Digital Semantic Communication Framework. | Jinghong Huang, Mengying Sun, Yuantao Zhang, Haiming Wang, Xiaodong Xu |
| 2025 | VTC | Real-Time Collaborative Edge Ai Inference: Joint Dnn Splitting and Batch Optimization. | Hao Gao, Cheng Zhang, Yuandong Zhuang, Mingzeng Dai, Haiming Wang, Yongming Huang |
| 2025 | VTC | Measurement-Based Spatial Characteristic Analysis for RIS-Assisted mmWave MIMO Channels. | Chenhong Yang, Jian Sang, Boning Gao, Ziang Wang, Xiao Li, Wankai Tang, Shi Jin, Haiming Wang |
| 2025 | WCNC | Angular-Domain Signal Processing Methods in MIMO-OTFS System. | Qiqing Chang, Jianfeng Wang, Haiming Wang |
| 2025 | WACV | MLLM-LLaVA-FL: Multimodal Large Language Model Assisted Federated Learning. | Jianyi Zhang, Hao Yang, Ang Li, Xin Guo, Pu Wang, Haiming Wang, Yiran Chen, Hai Li |
| 2024 | ICLR | MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. | Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang |
| 2024 | ICLR | LEGO-Prover: Neural Theorem Proving with Growing Libraries. | Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang |
| 2024 | ICLR | DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning. | Jing Xiong, Zixuan Li, Chuanyang Zheng, Zhijiang Guo, Yichun Yin, Enze Xie, Zhicheng Yang, Qingxing Cao, Haiming Wang, Xiongwei Han, Jing Tang, Chengming Li, Xiaodan Liang |
| 2023 | ACL | DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. | Haiming Wang, Ye Yuan, Zhengying Liu, Jianhao Shen, Yichun Yin, Jing Xiong, Enze Xie, Han Shi, Yujun Li, Lin Li, Jian Yin, Zhenguo Li, Xiaodan Liang |
| 2023 | EMNLP | TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. | Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu |
| 2022 | WCNC | Performance Analysis of RIS-aided Communication Systems over the Sum of Cascaded Rician Fading with imperfect CSI. | Tingnan Bao, Haiming Wang, Hong-Chuan Yang, Wen-Jing Wang, Mazen O. Hasna |
| 2022 | SENSYS | FedSEA: A Semi-Asynchronous Federated Learning Framework for Extremely Heterogeneous Devices. | Jingwei Sun, Ang Li, Lin Duan, Samiul Alam, Xuliang Deng, Xin Guo, Haiming Wang, Maria Gorlatova, Mi Zhang, Hai Li, Yiran Chen |
| 2021 | DASFAA | A Novel Road Segment Representation Method for Travel Time Estimation. | Wei Liu, Jiayu He, Haiming Wang, Huaijie Zhu, Jian Yin |
| 2021 | GLOBECOM | On the ADEP and DOR Analysis of RIS-aided URLLC Systems with Partial CSI in Smart Factory. | Tingnan Bao, Haiming Wang, Hong-Chuan Yang, Wen-Jing Wang, Mazen O. Hasna |
| 2021 | ICASSP | Low-Complexity Parameter Learning for OTFS Modulation Based Automotive Radar. | Chenwen Liu, Shengheng Liu, Zihuan Mao, Yongming Huang, Haiming Wang |
| 2021 | WISE | Multi-Task Learning with Personalized Transformer for Review Recommendation. | Haiming Wang, Wei Liu, Jian Yin |
| 2020 | GLOBECOM | A Video Popularity Prediction Scheme with Attention-Based LSTM and Feature Embedding. | Longwei Yang, Xin Guo, Haiming Wang, Wei Chen |
| 2020 | GLOBECOM | Negative Correlation Between Virus-Related Content Popularity and Epidemic Spread. | Xianyang Zhang, Di Han, Zhanyuan Xie, Xin Guo, Haiming Wang, Zhu Han, Wei Chen |
| 2020 | WCNC | A Novel 3D Space-Time-Frequency Non-Stationary Channel Model for 6G THz Indoor Communication Systems. | Jun Wang, Cheng-Xiang Wang, Jie Huang, Haiming Wang |
| 2017 | CSCWD | Hybrid recommendation model based on incremental collaborative filtering and content-based algorithms. | Haiming Wang, Peng Zhang, Tun Lu, Hansu Gu, Ning Gu |
| 2015 | PIMRC | 45GHz propagation channel modeling for an indoor conference scenario. | Jianwu Dou, Li Tian, Haiming Wang, Xi Yuan, Nan Zhang, Suping Mei |
| 2014 | VTC | Coordinated Multicell Precoding for Weighted Sum Rate Maximization with Per-Cell EE Constraints. | Shiwen He, Yongming Huang, Jiaheng Wang, Haiming Wang, Shi Jin, Luxi Yang |
| 2014 | SERVICES | Personalized Search: An Interactive and Iterative Approach. | Haiming Wang, Kenny Wong |
| 2013 | ISNN | Utility-Driven Share Scheduling Algorithm in Hadoop. | Cong Wan, Cuirong Wang, Ying Yuan, Haiming Wang, Xin Song |
| 2013 | SERVICES | Recommendation-Assisted Personal Web. | Haiming Wang, Kenny Wong |
| 2012 | APCC | Capacity optimization for short-range LoS 32 MIMO channels. | Rui Xu, Haiming Wang, Mingkai Tang, Wei Hong |
| 2012 | GLOBECOM | Coordinated multi-cell beamforming scheme using uplink-downlink max-min SINR duality. | Shiwen He, Yongming Huang, Haiming Wang, Arumugam Nallanathan, Luxi Yang |
| 2012 | VTC | Effective Interference Cancellation Mechanisms for D2D Communication in Multi-Cell Cellular Networks. | Shaoyi Xu, Haiming Wang, Tao Chen |
| 2011 | VTC | UL Performance of Type-1 Relay Enhanced FDD LTE-A Networks with Unaligned Backhaul Subframes. | Wei Hong, Jing Han, Haiming Wang |
| 2011 | VTC | Full Uplink Performance Evaluation of FDD/TDD LTE-Advanced Networks with Type-1 Relays. | Wei Hong, Jing Han, Haiming Wang |
| 2010 | VTC | Effective Interference Cancellation Scheme for Device-to-Device Communication Underlaying Cellular Networks. | Shaoyi Xu, Haiming Wang, Tao Chen, Qing Huang, Tao Peng |
| 2010 | VTC | Effective Labeled Time Slots Based D2D Transmission in Cellular Downlink Spectrums. | Shaoyi Xu, Haiming Wang, Tao Peng, Qing Huang |
| 2009 | GLOBECOM | Preamble-Based Channel Estimation for Amplify-and-Forward OFDM Relay Networks. | Bin Jiang, Haiming Wang, Xiqi Gao, Shi Jin, Kai-Kit Wong |
| 2009 | PIMRC | A game-theoretic approach to distributed power control algorithm for hybrid systems. | Qianxi Lu, Tao Peng, Haiming Wang, Shaoyi Xu, Wenbo Wang, Chao Hu |
| 2009 | PIMRC | Interference avoidance mechanisms in the hybrid cellular and device-to-device systems. | Tao Peng, Qianxi Lu, Haiming Wang, Shaoyi Xu, Wenbo Wang |
| 2009 | VTC | Cooperative Spectrum Sensing with Cluster-Based Architecture in Cognitive Radio Networks. | Chen Guo, Tao Peng, Shaoyi Xu, Haiming Wang, Wenbo Wang |
| 2009 | VTC | Performance of TTI Bundling for VoIP In EUTRAN TDD Mode. | Haiming Wang, Jing Han, Shaoyi Xu |
| 2009 | VTC | Double Thresholds Based Cooperative Spectrum Sensing Against Untrusted Secondary Users in Cognitive Radio Networks. | Shaoyi Xu, Yanlei Shang, Haiming Wang |
| 2009 | WCNC | Principle and performance of TTI bundling for VoIP in LTE FDD mode. | Jing Han, Haiming Wang |
| 2008 | VTC | Uplink VoIP Performance in E-UTRAN TDD Mode. | Dajie Jiang, Haiming Wang, Xiangguang Che |
| 2008 | VTC | A Novel Bidirectional Resource Allocation to Decrease Signaling for Retransmission in LTE System. | Haiming Wang, Dajie Jiang |
| 2008 | WCNC | Performance Comparison of Control-Less Scheduling Policies for VoIP in LTE UL. | Haiming Wang, Dajie Jiang |
| 2006 | IWCMC | The performance deterioration from nonlinear amplifier in NxDO system. | Xiaoyi Wang, Teng Yong, Haiming Wang |
| 2006 | PIMRC | Performance Analysis for Papr Reduction by Stochastic HNN with Soft Decision Feedback. | Haiming Wang, Wujie Hu |