| 2026 | AAAI | Beyond N-grams: A Hierarchical Reward Learning Framework for Clinically-Aware Medical Report Generation. | Yuan Wang, Shujian Gao, Jiaxiang Liu, Songtao Jiang, Haoxiang Xia, Xiaotian Zhang, Zhaolu Kang, Yemin Wang, Zuozhu Liu |
| 2026 | ACL | BMAM: Brain-inspired Multi-Agent Memory Framework. | Yang Li, Jiaxiang Liu, Yusong Wang, Yujie Wu, Mingkun Xu |
| 2026 | ESOP | A Formally Verified Procedure for Width Inference in FIRRTL. | Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen |
| 2026 | FM | Can LLM Aid in Solving Constraints with Inductive Definitions? | Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu |
| 2026 | SIGIR | Enhancing Multi-Valued Treatment Uplift Modeling with Knowledge Sharing and RCT Data. | Jiaxiang Liu, Luo He, Zhenghao Zeng, Deqiang Kong, Funan Mu, Jiaming Zhang, Zilong Lu, Peng Jiang, Hongyan Liu |
| 2025 | AAAI | Simplifying Control Mechanism in Text-to-Image Diffusion Models. | Zhida Feng, Li Chen, Yuenan Sun, Jiaxiang Liu, Shikun Feng |
| 2025 | AAAI | KPL: Training-Free Medical Knowledge Mining of Vision-Language Models. | Jiaxiang Liu, Tianxiang Hu, Jiawei Du, Ruiyuan Zhang, Joey Tianyi Zhou, Zuozhu Liu |
| 2025 | ACL | Know-MRI: A Knowledge Mechanisms Revealer&Interpreter for Large Language Models. | Jiaxiang Liu, Boxuan Xing, Chenhao Yuan, Chenxiang Zhang, Di Wu, Xiusheng Huang, Haida Yu, Chuhan Lang, Pengfei Cao, Jun Zhao, Kang Liu |
| 2025 | FUSION | A New Causal Meta-Learning Framework for Few-Shot SAR Target Classification. | Jiaxiang Liu, Xuemeng Hui, Zhunga Liu |
| 2025 | ICDE | Enhancing Large Language Models with Pseudo-and Multisource-Knowledge Graphs for Open-ended Question Answering. | Jiaxiang Liu, Tong Zhou, Yubo Chen, Jun Zhao, Kang Liu |
| 2025 | ICLR | Capability Localization: Capabilities Can be Localized rather than Individual Knowledge. | Xiusheng Huang, Jiaxiang Liu, Yequan Wang, Jun Zhao, Kang Liu |
| 2025 | IJCAI | Leveraging Pretrained Diffusion Models for Zero-Shot Part Assembly. | Ruiyuan Zhang, Qi Wang, Jiaxiang Liu, Yuchi Huo, Chao Wu |
| 2025 | IJCNN | R-LLaVA: Improving Med-VQA Understanding through Visual Region of Interest. | Xupeng Chen, Zhixin Lai, Kangrui Ruan, Shichu Chen, Jiaxiang Liu, Zuozhu Liu |
| 2025 | IWCMC | Non-Terrestrial Networks in 6G on Standardization, Key Technologies and Challenges. | Jiaxiang Liu, Shuo Peng, Xin Tong |
| 2025 | MICCAI | V2T-CoT: From Vision to Text Chain-of-Thought for Medical Reasoning and Diagnosis. | Yuan Wang, Jiaxiang Liu, Shujian Gao, Bin Feng, Zhihang Tang, Xiaotang Gai, Jian Wu, Zuozhu Liu |
| 2025 | MICCAI | Fair-MoE: Medical Fairness-Oriented Mixture of Experts in Vision-Language Models. | Peiran Wang, Linjie Tong, Jian Wu, Jiaxiang Liu, Zuozhu Liu |
| 2025 | NAACL | MedThink: A Rationale-Guided Framework for Explaining Medical Visual Question Answering. | Xiaotang Gai, Chenyi Zhou, Jiaxiang Liu, Yang Feng, Jian Wu, Zuozhu Liu |
| 2025 | WACV | PVP: Polar Representation Boost for 3D Semantic Occupancy Prediction. | Yujing Xue, Jiaxiang Liu, Jiawei Du, Joey Tianyi Zhou |
| 2024 | AAAI | Scalable Geometric Fracture Assembly via Co-creation Space among Assemblers. | Ruiyuan Zhang, Jiaxiang Liu, Zexi Li, Hao Dong, Jie Fu, Chao Wu |
| 2024 | CIDR | The Fast and the Private: Task-based Dataset Search. | Zezhou Huang, Jiaxiang Liu, Haonan Wang, Eugene Wu |
| 2024 | CVPR | Named Entity Driven Zero-Shot Image Manipulation. | Zhida Feng, Li Chen, Jing Tian, Jiaxiang Liu, Shikun Feng |
| 2024 | DAC | Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. | Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu |
| 2024 | EMNLP | VPL: Visual Proxy Learning Framework for Zero-Shot Medical Image Diagnosis. | Jiaxiang Liu, Tianxiang Hu, Huimin Xiong, Jiawei Du, Yang Feng, Jian Wu, Joey Zhou, Zuozhu Liu |
| 2024 | EMNLP | MedCoT: Medical Chain of Thought via Hierarchical Expert. | Jiaxiang Liu, Yuan Wang, Jiawei Du, Joey Zhou, Zuozhu Liu |
| 2024 | ESORICS | Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. | Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | CAV | Certified Verification for Algebraic Abstraction. | Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | CAV | CoqCryptoLine: A Verified Model Checker with Certified Results. | Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | CVPR | ERNIE-ViLG 2.0: Improving Text-to-Image Diffusion Model with Knowledge-Enhanced Mixture-of-Denoising-Experts. | Zhida Feng, Zhenyu Zhang, Xintong Yu, Yewei Fang, Lanxin Li, Xuyi Chen, Yuxiang Lu, Jiaxiang Liu, Weichong Yin, Shikun Feng, Yu Sun, Li Chen, Hao Tian, Hua Wu, Haifeng Wang |
| 2023 | SAS | Boosting Multi-neuron Convex Relaxation for Neural Network Verification. | Xuezhou Tang, Ye Zheng, Jiaxiang Liu |
| 2022 | ACCV | SGW-Based Multi-task Learning in Vision Tasks. | Ruiyuan Zhang, Yuyao Chen, Jiaxiang Liu, Dianbing Xi, Yuchi Huo, Jie Liu, Chao Wu |
| 2022 | CIKM | DuETA: Traffic Congestion Propagation Pattern Modeling via Efficient Graph Learning for ETA Prediction at Baidu Maps. | Jizhou Huang, Zhengjie Huang, Xiaomin Fang, Shikun Feng, Xuyi Chen, Jiaxiang Liu, Haitao Yuan, Haifeng Wang |
| 2022 | IWCMC | Operation and Key Technologies in Space-Air-Ground Integrated Network. | Jiaxiang Liu, Shuo Peng, Zheng Jiang, Xiaoming She, Peng Chen |
| 2022 | SAS | CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. | Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu |
| 2021 | CAV | CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. | Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2021 | IJCNN | Infrared and Visible Image Fusion Based on Multiscale Network with Dual-channel Information Cross Fusion Block. | Yong Yang, Xiangkai Kong, Shuying Huang, Weiguo Wan, Jiaxiang Liu, Wang Zhang |
| 2019 | CCS | Signed Cryptographic Program Verification with Typed CryptoLine. | Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2019 | COMPSAC | An Empirical Study on API-Misuse Bugs in Open-Source C Programs. | Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu |
| 2019 | TASE | IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. | Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu |
| 2017 | GLOBECOM | Virtualized Radio Resource Pre-Allocation for QoS Based Resource Efficiency in Mobile Networks. | Wenwan Chen, Xiaodong Xu, Chunjing Yuan, Jiaxiang Liu, Xiaofeng Tao |
| 2015 | CSL | Confluence of Layered Rewrite Systems. | Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa |