Weilin Luo

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 38

Top Topics

Knowledge Representation And Reasoning

Search Algorithm

Top Venues

IEEE Trans. Circuits Syst. I Regul. Pap.

Publications

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. J. Syst. Softw. 213 (2024)
Chang Liu, Zhichen Dong, Haobo Ma, Weilin Luo, Xijun Li, Bowen Pang, Jia Zeng, Junchi Yan
L2P-MIP: Learning to Presolve for Mixed Integer Programming. ICLR (2024)
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, Haoyang Liu, Zhiwu An, Muming Yang, Jianshu Li, Jie Wang, Junchi Yan, Defeng Sun, Tao Zhong, Yong Zhang, Jia Zeng, Mingxuan Yuan, Jianye Hao, Jun Yao, Kun Mao
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications. CoRR (2024)
Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye
ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. NIER@ICSE (2024)
Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. AAAI (2024)
Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. ASE (2023)
Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. AAAI (2023)
Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng
PURLTL: Mining LTL Specification from Imperfect Traces in Testing. ASE (2023)
Chao Yu, Xuejing Zheng, Hankz Hankui Zhuo, Hai Wan, Weilin Luo
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey. CoRR (2023)
Guoliang Zhu, Kexin Liu, Haibo Gu, Weilin Luo, Jinhu Lü
Observer-Based Event-Triggered Formation Control of Multi-Agent Systems With Switching Directed Topologies. IEEE Trans. Circuits Syst. I Regul. Pap. 69 (3) (2022)
Chi Chen, Kuan Hu, Weilin Luo, Kang Yin, Ruiyuan Kang, Ying Zhao, Fei Yang
A 20W Ka-Band Dual-Port Power Amplifier for Communication Satellites. ICTA (2022)
Weilin Luo, Lei Chen, Kexin Liu, Haibo Gu, Jinhu Lü
Optimizing Constrained Guidance Policy With Minimum Overload Regularization. IEEE Trans. Circuits Syst. I Regul. Pap. 69 (7) (2022)
Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang
Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI (2022)
Weilin Luo, Jinhu Lü, Kexin Liu, Lei Chen
Learning-Based Policy Optimization for Adversarial Missile-Target Assignment. IEEE Trans. Syst. Man Cybern. Syst. 52 (7) (2022)
Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. CoRR (2022)
Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI (2022)
Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang
Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI (2022)
Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su
Checking LTL Satisfiability via End-to-end Learning. ASE (2022)
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. CoRR (2021)
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
How to Identify Boundary Conditions with Contrasty Metric? ICSE (2021)
Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song
An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. ICCAD (2021)
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
How to Identify Boundary Conditions with Contrasty Metric? CoRR (2021)
Weilin Luo, Ou Wei, Hai Wan
SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. IEEE Trans. Reliab. 70 (2) (2021)
Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye
A DQN-based Approach to Finding Precise Evidences for Fact Verification. ACL/IJCNLP (1) (2021)
Weilin Luo, Shunqiang Duan, Jiwen Zheng
Underwater Image Restoration and Enhancement Based on a Fusion Algorithm With Color Balance, Contrast Optimization, and Histogram Stretching. IEEE Access 9 (2021)
Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lu, Jia Zeng
Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems. CoRR (2021)
Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lü, Jia Zeng
Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems. ICDE (2021)
Weilin Luo, Fan Zhang
Time-invariant Discontinuous Feedback Stablization of Underactuated Surface Vessel under Wave Disturbance. SPAC (2021)
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. APSEC (2020)
Weilin Luo, Hongbin Jin, Hao Li, Xi Fang, Ronghua Zhou
Optimal Performance and Application for Firework Algorithm Using a Novel Chaotic Approach. IEEE Access 8 (2020)
Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae. CoRR (2019)
Weilin Luo, Tieshan Li
Stablization of an Underactuated Surface Vessel with Disturbances. ICCA (2019)
Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. CoRR (2019)
Weilin Luo, Bingbing Hu, Tieshan Li
Neural network based fin control for ship roll stabilization with guaranteed robustness. Neurocomputing 230 (2017)
Weilin Luo, Ou Wei
WAP: SAT-Based Computation of Minimal Cut Sets. ISSRE (2017)
Weilin Luo, Hongchao Cong
Robust NN Control of the Manipulator in the Underwater Vehicle-Manipulator System. ISNN (2) (2017)
Weilin Luo, Hongchao Cong
Control for Ship Course-Keeping Using Optimized Support Vector Machines. Algorithms 9 (3) (2016)
Ye Tian, Tieshan Li, Baobin Miao, Weilin Luo
Neural network based robust adaptive tracking control for the automomous underwater vehicle. ICACI (2016)
Weilin Luo, Chao Lyu, Lixin Wang, Liqiang Zhang
An approximate solution for electrolyte concentration distribution in physics-based lithium-ion cell models. Microelectron. Reliab. 53 (6) (2013)
Baobin Miao, Tieshan Li, Weilin Luo
A DSC and MLP based robust adaptive NN tracking control for underwater vehicle. Neurocomputing 111 (2013)
Baobin Miao, Tieshan Li, Weilin Luo
Neural Network Based Robust Adaptive Dynamic Surface Control for AUVs. ICONS (2013)
Baobin Miao, Tieshan Li, Weilin Luo, Xiaori Gao
NN Based Adaptive Dynamic Surface Control for Fully Actuated AUV. ISNN (2) (2013)
Weilin Luo, Wenjing Lv, Zaojian Zou
Robust Fin Control for Ship Roll Stabilization by Using Functional-Link Neural Networks. ISNN (2) (2013)
Weilin Luo, Zaojian Zou
Robust Cascaded Control of Propeller Thrust for AUVs. ISNN (2) (2011)
Tieshan Li, Wei Li, Weilin Luo
DSC approach to robust adaptive NN tracking control for a class of MIMO systems. Int. J. Model. Identif. Control. 11 (1/2) (2010)
Jitendra K. Tugnait, Weilin Luo
Blind space-time multiuser channel estimation in time-varying DS-CDMA systems. IEEE Trans. Veh. Technol. 55 (1) (2006)
Jitendra K. Tugnait, Weilin Luo
Blind identification of time-varying channels using multistep linear predictors. IEEE Trans. Signal Process. 52 (6) (2004)
Jitendra K. Tugnait, Weilin Luo
On channel estimation using superimposed training and first-order statistics. ICASSP (4) (2003)
Weilin Luo, Jitendra K. Tugnait
Blind multiuser channel estimation in time-varying direct sequence code division multiple access systems. ICASSP (4) (2003)
Jitendra K. Tugnait, Weilin Luo
On channel estimation using superimposed training and first-order statistics. IEEE Commun. Lett. 7 (9) (2003)
Jitendra K. Tugnait, Weilin Luo
Linear prediction error method for blind identification of periodically time-varying channels. IEEE Trans. Signal Process. 50 (12) (2002)
Weilin Luo, Jitendra K. Tugnait
Blind identification of time-varying channels using multistep linear predictors. ICASSP (2002)
Weilin Luo, Jitendra K. Tugnait
Further results on blind equalization and estimation of SIMO time-varying channels. ISCAS (1) (2002)