| 2026 | AAAI | Large Language Models Struggle with Unreasonability in Math Problems. | Jingyuan Ma, Damai Dai, Zihang Yuan, Rui Li, Weilin Luo, Bin Wang, Qun Liu, Lei Sha, Zhifang Sui |
| 2026 | AAAI | RICo: Refined In-Context Contribution for Automatic Instruction-Tuning Data Selection. | Yixin Yang, Qingxiu Dong, Linli Yao, Fangwei Zhu, Weilin Luo, Bin Wang, Zhifang Sui |
| 2026 | ACL | Exploration-Exploitation Reshaping towards Efficient Reasoning for Large Language Models. | Yufeng Shi, Weilin Luo, Yuxiang Zhang, Zongmeng Zhang, Haoyang Liu, Yubing Wang, Bin Wang, Wengang Zhou, Houqiang Li |
| 2026 | ICDE | Semantic Compression for Sound and Complete Query Answering Over Knowledge Graphs. | Junhua Ma, Jianfeng Du, Hai Wan, Yue Yu, Kunxun Qi, Weilin Luo, Yanan Liu |
| 2025 | CIKM | OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams. | Junming Qiu, Rongzhen Ye, Weilin Luo, Kunxun Qi, Hai Wan, Yue Yu |
| 2025 | ISNN | Trajectory Tracking Control of Underactuated AUV Based on RBF Neural Network and Nonsingular Terminal Sliding Mode. | Yang Chen, Huiyi Luo, Weilin Luo |
| 2024 | AAAI | End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. | Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng |
| 2024 | ICLR | L2P-MIP: Learning to Presolve for Mixed Integer Programming. | Chang Liu, Zhichen Dong, Haobo Ma, Weilin Luo, Xijun Li, Bowen Pang, Jia Zeng, Junchi Yan |
| 2024 | ICSE | ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. | Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye |
| 2024 | ISSTA | Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. | Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang |
| 2023 | AAAI | A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. | Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang |
| 2022 | AAAI | Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. | Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang |
| 2022 | AAAI | Improving Local Search Algorithms via Probabilistic Configuration Checking. | Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang |
| 2022 | IJCAI | Teaching LTLf Satisfiability Checking to Neural Networks. | Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang |
| 2021 | ACL | A DQN-based Approach to Finding Precise Evidences for Fact Verification. | Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye |
| 2021 | ICCAD | An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. | Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song |
| 2021 | ICDE | Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems. | Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu L, Jia Zeng |
| 2021 | ICSE | How to Identify Boundary Conditions with Contrasty Metric? | Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen |
| 2020 | APSEC | Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. | Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang |
| 2017 | ISNN | Robust NN Control of the Manipulator in the Underwater Vehicle-Manipulator System. | Weilin Luo, Hongchao Cong |
| 2017 | ISSRE | WAP: SAT-Based Computation of Minimal Cut Sets. | Weilin Luo, Ou Wei |
| 2013 | ISNN | Robust Fin Control for Ship Roll Stabilization by Using Functional-Link Neural Networks. | Weilin Luo, Wenjing Lv, Zaojian Zou |
| 2013 | ISNN | NN Based Adaptive Dynamic Surface Control for Fully Actuated AUV. | Baobin Miao, Tieshan Li, Weilin Luo, Xiaori Gao |
| 2011 | ISNN | Robust Cascaded Control of Propeller Thrust for AUVs. | Weilin Luo, Zaojian Zou |
| 2003 | ICASSP | Blind multiuser channel estimation in time-varying direct sequence code division multiple access systems. | Weilin Luo, Jitendra K. Tugnait |
| 2003 | ICASSP | On channel estimation using superimposed training and first-order statistics. | Jitendra K. Tugnait, Weilin Luo |
| 2002 | ICASSP | Blind identification of time-varying channels using multistep linear predictors. | Weilin Luo, Jitendra K. Tugnait |
| 2002 | ISCAS | Further results on blind equalization and estimation of SIMO time-varying channels. | Weilin Luo, Jitendra K. Tugnait |