Further results on blind equalization and estimation of SIMO time-varying channels. - Weilin Luo; Jitendra K. Tugnait (ISCAS (1), 2002)

Linear prediction error method for blind identification of periodically time-varying channels. - Jitendra K. Tugnait; Weilin Luo (IEEE Trans. Signal Process., 2002)

Blind multiuser channel estimation in time-varying direct sequence code division multiple access systems. - Weilin Luo; Jitendra K. Tugnait (ICASSP (4), 2003)

On channel estimation using superimposed training and first-order statistics. - Jitendra K. Tugnait; Weilin Luo (IEEE Commun. Lett., 2003)

Blind identification of time-varying channels using multistep linear predictors. - Jitendra K. Tugnait; Weilin Luo (IEEE Trans. Signal Process., 2004)

Blind space-time multiuser channel estimation in time-varying DS-CDMA systems. - Jitendra K. Tugnait; Weilin Luo (IEEE Trans. Veh. Technol., 2006)

DSC approach to robust adaptive NN tracking control for a class of MIMO systems. - Tieshan Li; Wei Li; Weilin Luo (Int. J. Model. Identif. Control., 2010)

Robust Cascaded Control of Propeller Thrust for AUVs. - Weilin Luo; Zaojian Zou (ISNN (2), 2011)

Neural Network Based Robust Adaptive Dynamic Surface Control for AUVs. - Baobin Miao; Tieshan Li; Weilin Luo (ICONS, 2013)

Robust Fin Control for Ship Roll Stabilization by Using Functional-Link Neural Networks. - Weilin Luo; Wenjing Lv; Zaojian Zou (ISNN (2), 2013)

NN Based Adaptive Dynamic Surface Control for Fully Actuated AUV. - Baobin Miao; Tieshan Li; Weilin Luo; Xiaori Gao (ISNN (2), 2013)

A DSC and MLP based robust adaptive NN tracking control for underwater vehicle. - Baobin Miao; Tieshan Li; Weilin Luo (Neurocomputing, 2013)

An approximate solution for electrolyte concentration distribution in physics-based lithium-ion cell models. - Weilin Luo; Chao Lyu; Lixin Wang; Liqiang Zhang 005 (Microelectron. Reliab., 2013)

Neural network based robust adaptive tracking control for the automomous underwater vehicle. - Ye Tian; Tieshan Li; Baobin Miao; Weilin Luo (ICACI, 2016)

Control for Ship Course-Keeping Using Optimized Support Vector Machines. - Weilin Luo; Hongchao Cong (Algorithms, 2016)

Robust NN Control of the Manipulator in the Underwater Vehicle-Manipulator System. - Weilin Luo; Hongchao Cong (ISNN (2), 2017)

WAP: SAT-Based Computation of Minimal Cut Sets. - Weilin Luo; Ou Wei (ISSRE, 2017)

Neural network based fin control for ship roll stabilization with guaranteed robustness. - Weilin Luo; Bingbing Hu; Tieshan Li (Neurocomputing, 2017)

Stablization of an Underactuated Surface Vessel with Disturbances. - Weilin Luo; Tieshan Li (ICCA, 2019)

Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. - Peilin Chen; Hai Wan; Shaowei Cai 001; Weilin Luo; Jia Li (CoRR, 2019)

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae. - Weilin Luo; Hai Wan; Hongzhen Zhong; Ou Wei (CoRR, 2019)

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 (APSEC, 2020)

Optimal Performance and Application for Firework Algorithm Using a Novel Chaotic Approach. - Weilin Luo; Hongbin Jin; Hao Li 062; Xi Fang; Ronghua Zhou (IEEE Access, 2020)

A DQN-based Approach to Finding Precise Evidences for Fact Verification. - Hai Wan; Haicheng Chen; Jianfeng Du; Weilin Luo; Rongzhen Ye (ACL/IJCNLP (1), 2021)

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 (ICCAD, 2021)

Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems. - Xijun Li; Weilin Luo; Mingxuan Yuan; Jun Wang 012; Jiawen Lu; Jie Wang 005; Jinhu Lü; Jia Zeng (ICDE, 2021)

How to Identify Boundary Conditions with Contrasty Metric? - Weilin Luo; Hai Wan; Xiaotong Song; Binhao Yang; Hongzhen Zhong; Yin Chen 005 (ICSE, 2021)

Time-invariant Discontinuous Feedback Stablization of Underactuated Surface Vessel under Wave Disturbance. - Weilin Luo; Fan Zhang (SPAC, 2021)

Underwater Image Restoration and Enhancement Based on a Fusion Algorithm With Color Balance, Contrast Optimization, and Histogram Stretching. - Weilin Luo; Shunqiang Duan; Jiwen Zheng (IEEE Access, 2021)

SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. - Weilin Luo; Ou Wei; Hai Wan (IEEE Trans. Reliab., 2021)

Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. - Weilin Luo; Pingjia Liang; Jianfeng Du; Hai Wan; Bo Peng; Delong Zhang (AAAI, 2022)

Improving Local Search Algorithms via Probabilistic Configuration Checking. - Weilin Luo; Rongzhen Ye; Hai Wan; Shaowei Cai 001; Biqing Fang; Delong Zhang (AAAI, 2022)

A 20W Ka-Band Dual-Port Power Amplifier for Communication Satellites. - Chi Chen; Kuan Hu; Weilin Luo; Kang Yin; Ruiyuan Kang; Ying Zhao; Fei Yang (ICTA, 2022)

Teaching LTLf Satisfiability Checking to Neural Networks. - Weilin Luo; Hai Wan; Jianfeng Du; Xiaoda Li; Yuze Fu; Rongzhen Ye; Delong Zhang (IJCAI, 2022)

Checking LTL Satisfiability via End-to-end Learning. - Weilin Luo; Hai Wan; Delong Zhang; Jianfeng Du; Hengdi Su (ASE, 2022)

Optimizing Constrained Guidance Policy With Minimum Overload Regularization. - Weilin Luo; Lei Chen 033; Kexin Liu; Haibo Gu; Jinhu Lü (IEEE Trans. Circuits Syst. I Regul. Pap., 2022)

Observer-Based Event-Triggered Formation Control of Multi-Agent Systems With Switching Directed Topologies. - Guoliang Zhu; Kexin Liu; Haibo Gu; Weilin Luo; Jinhu Lü (IEEE Trans. Circuits Syst. I Regul. Pap., 2022)

Learning-Based Policy Optimization for Adversarial Missile-Target Assignment. - Weilin Luo; Jinhu Lü; Kexin Liu; Lei Chen 033 (IEEE Trans. Syst. Man Cybern. Syst., 2022)

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 (AAAI, 2023)

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. - Weilin Luo; Yuhang Zheng; Rongzhen Ye; Hai Wan; Jianfeng Du; Pingjia Liang; Polong Chen (ASE, 2023)

PURLTL: Mining LTL Specification from Imperfect Traces in Testing. - Bo Peng; Pingjia Liang; Tingchen Han; Weilin Luo; Jianfeng Du; Hai Wan; Rongzhen Ye; Yuhang Zheng (ASE, 2023)

Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey. - Chao Yu 004; Xuejing Zheng; Hankz Hankui Zhuo; Hai Wan; Weilin Luo (CoRR, 2023)

End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. - Hai Wan; Pingjia Liang; Jianfeng Du; Weilin Luo; Rongzhen Ye; Bo Peng (AAAI, 2024)

L2P-MIP: Learning to Presolve for Mixed Integer Programming. - Chang Liu 021; Zhichen Dong; Haobo Ma; Weilin Luo; Xijun Li; Bowen Pang; Jia Zeng; Junchi Yan (ICLR, 2024)

ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. - Weilin Luo; Weiyuan Fang; Junming Qiu; Hai Wan; Yanan Liu; Rongzhen Ye (NIER@ICSE, 2024)

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 (ISSTA, 2024)

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications. - Xijun Li; Fangzhou Zhu; Hui-Ling Zhen; Weilin Luo; Meng Lu; Yimin Huang; Zhenan Fan; Zirui Zhou; Yufei Kuang; Zhihai Wang; Zijie Geng; Yang Li 197; et al. (CoRR, 2024)

Joint Underdetermined Blind Separation Using Cross Third-Order Cumulant and Tensor Decomposition. - Weilin Luo; Xiaobai Li; Hao Li; Hongbin Jin; Ruijuan Yang (Circuits Syst. Signal Process., 2024)

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. - Weilin Luo; Polong Chen; Hai Wan; Hongzhen Zhong; Shaowei Cai 001; Zhanhao Xiao (J. Syst. Softw., 2024)

Trajectory Tracking Control of Underactuated AUV Based on RBF Neural Network and Nonsingular Terminal Sliding Mode. - Yang Chen; Huiyi Luo; Weilin Luo (ISNN, 2025)

Learning to mine all minimal evidences for unverified claims. - Yanan Liu; Hai Wan; Jianfeng Du; Yao Wang; Kunxun Qi; Weilin Luo (Inf. Sci., 2025)

NADA: Neural Acceptance-Driven Approximate Specification Mining. - Weilin Luo; Tingchen Han; Junming Qiu; Hai Wan; Jianfeng Du; Bo Peng; Guohui Xiao 001; Yanan Liu (Proc. ACM Softw. Eng., 2025)

KnowLogic: A Benchmark for Commonsense Reasoning via Knowledge-Driven Data Synthesis. - Weidong Zhan; Yue Wang; Nan Hu; Liming Xiao; Jingyuan Ma; Yuhang Qin; Zheng Li; Yixin Yang; Sirui Deng; Jinkun Ding; Wenhan Ma; Rui Li; et al. (CoRR, 2025)