Weilin Luo

64 papers A* 13A 4C 2Misc 1Journal 30Unranked 14
YearRankTypeTitle / Venue / Authors
2026 A* conf
Large Language Models Struggle with Unreasonability in Math Problems.
AAAI
Jingyuan Ma, Damai Dai, Zihang Yuan, Rui Li, Weilin Luo, Bin Wang, Qun Liu, Lei Sha, Zhifang Sui
2026 A* conf
RICo: Refined In-Context Contribution for Automatic Instruction-Tuning Data Selection.
AAAI
Yixin Yang, Qingxiu Dong, Linli Yao, Fangwei Zhu, Weilin Luo, Bin Wang, Zhifang Sui
2025 J jnl
AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution.
CoRR
Weilin Luo, Xueyi Liang, Haotian Deng, Yanan Liu, Hai Wan
2025 J jnl
Disturbance suppression based robust adaptive stabilization of underactuated surface vessel.
J. Frankl. Inst.
Weilin Luo, Chengyu Lin
2025 J jnl
KnowLogic: A Benchmark for Commonsense Reasoning via Knowledge-Driven Data Synthesis.
CoRR
Weidong Zhan, Yue Wang, Nan Hu, Liming Xiao, Jingyuan Ma, Yuhang Qin, Zheng Li, Yixin Yang, Sirui Deng, Jinkun Ding, Wenhan Ma, Rui Li, Weilin Luo, Qun Liu, Zhifang Sui
2025 J jnl
Learning to mine all minimal evidences for unverified claims.
Inf. Sci.
Yanan Liu, Hai Wan, Jianfeng Du, Yao Wang, Kunxun Qi, Weilin Luo
2025 J jnl
NADA: Neural Acceptance-Driven Approximate Specification Mining.
Proc. ACM Softw. Eng.
Weilin Luo, Tingchen Han, Junming Qiu, Hai Wan, Jianfeng Du, Bo Peng, Guohui Xiao, Yanan Liu
2025 A conf
OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams.
CIKM
Junming Qiu, Rongzhen Ye, Weilin Luo, Kunxun Qi, Hai Wan, Yue Yu
2025 C conf
Trajectory Tracking Control of Underactuated AUV Based on RBF Neural Network and Nonsingular Terminal Sliding Mode.
ISNN
Yang Chen, Huiyi Luo, Weilin Luo
2024 A* conf
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding.
AAAI
Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng
2024 J jnl
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.
J. Syst. Softw.
Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao
2024 — conf
ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking.
NIER@ICSE
Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye
2024 J jnl
Joint Underdetermined Blind Separation Using Cross Third-Order Cumulant and Tensor Decomposition.
Circuits Syst. Signal Process.
Weilin Luo, Xiaobai Li, Hao Li, Hongbin Jin, Ruijuan Yang
2024 A* conf
L2P-MIP: Learning to Presolve for Mixed Integer Programming.
ICLR
Chang Liu, Zhichen Dong, Haobo Ma, Weilin Luo, Xijun Li, Bowen Pang, Jia Zeng, Junchi Yan
2024 A conf
Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking.
ISSTA
Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang
2024 J jnl
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications.
CoRR
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
2023 A* conf
A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving.
AAAI
Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
2023 A* conf
PURLTL: Mining LTL Specification from Imperfect Traces in Testing.
ASE
Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng
2023 J jnl
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey.
CoRR
Chao Yu, Xuejing Zheng, Hankz Hankui Zhuo, Hai Wan, Weilin Luo
2023 A* conf
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.
ASE
Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen
2022 — conf
A 20W Ka-Band Dual-Port Power Amplifier for Communication Satellites.
ICTA
Chi Chen, Kuan Hu, Weilin Luo, Kang Yin, Ruiyuan Kang, Ying Zhao, Fei Yang
2022 J jnl
A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving.
CoRR
Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
2022 A* conf
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae.
AAAI
Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang
2022 A* conf
Checking LTL Satisfiability via End-to-end Learning.
ASE
Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su
2022 A* conf
Improving Local Search Algorithms via Probabilistic Configuration Checking.
AAAI
Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang
2022 J jnl
Learning-Based Policy Optimization for Adversarial Missile-Target Assignment.
IEEE Trans. Syst. Man Cybern. Syst.
Weilin Luo, Jinhu Lü, Kexin Liu, Lei Chen
2022 J jnl
Observer-Based Event-Triggered Formation Control of Multi-Agent Systems With Switching Directed Topologies.
IEEE Trans. Circuits Syst. I Regul. Pap.
Guoliang Zhu, Kexin Liu, Haibo Gu, Weilin Luo, Jinhu Lü
2022 J jnl
Optimizing Constrained Guidance Policy With Minimum Overload Regularization.
IEEE Trans. Circuits Syst. I Regul. Pap.
Weilin Luo, Lei Chen, Kexin Liu, Haibo Gu, Jinhu Lü
2022 A* conf
Teaching LTLf Satisfiability Checking to Neural Networks.
IJCAI
Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang
2021 — conf
A DQN-based Approach to Finding Precise Evidences for Fact Verification.
ACL/IJCNLP (1)
Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye
2021 A conf
An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae.
ICCAD
Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song
2021 A* conf
How to Identify Boundary Conditions with Contrasty Metric?
ICSE
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
2021 J jnl
How to Identify Boundary Conditions with Contrasty Metric?
CoRR
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
2021 A* conf
Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems.
ICDE
Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lü, Jia Zeng
2021 J jnl
Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems.
CoRR
Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lu, Jia Zeng
2021 J jnl
SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets.
IEEE Trans. Reliab.
Weilin Luo, Ou Wei, Hai Wan
2021 J jnl
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.
CoRR
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
2021 — conf
Time-invariant Discontinuous Feedback Stablization of Underactuated Surface Vessel under Wave Disturbance.
SPAC
Weilin Luo, Fan Zhang
2021 J jnl
Underwater Image Restoration and Enhancement Based on a Fusion Algorithm With Color Balance, Contrast Optimization, and Histogram Stretching.
IEEE Access
Weilin Luo, Shunqiang Duan, Jiwen Zheng
2020 J jnl
Optimal Performance and Application for Firework Algorithm Using a Novel Chaotic Approach.
IEEE Access
Weilin Luo, Hongbin Jin, Hao Li, Xi Fang, Ronghua Zhou
2020 C conf
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.
APSEC
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
2019 J jnl
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae.
CoRR
Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei
2019 J jnl
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.
CoRR
Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li
2019 — conf
Stablization of an Underactuated Surface Vessel with Disturbances.
ICCA
Weilin Luo, Tieshan Li
2017 J jnl
Neural network based fin control for ship roll stabilization with guaranteed robustness.
Neurocomputing
Weilin Luo, Bingbing Hu, Tieshan Li
2017 — conf
Robust NN Control of the Manipulator in the Underwater Vehicle-Manipulator System.
ISNN (2)
Weilin Luo, Hongchao Cong
2017 A conf
WAP: SAT-Based Computation of Minimal Cut Sets.
ISSRE
Weilin Luo, Ou Wei
2016 J jnl
Control for Ship Course-Keeping Using Optimized Support Vector Machines.
Algorithms
Weilin Luo, Hongchao Cong
2016 — conf
Neural network based robust adaptive tracking control for the automomous underwater vehicle.
ICACI
Ye Tian, Tieshan Li, Baobin Miao, Weilin Luo
2013 J jnl
A DSC and MLP based robust adaptive NN tracking control for underwater vehicle.
Neurocomputing
Baobin Miao, Tieshan Li, Weilin Luo
2013 J jnl
An approximate solution for electrolyte concentration distribution in physics-based lithium-ion cell models.
Microelectron. Reliab.
Weilin Luo, Chao Lyu, Lixin Wang, Liqiang Zhang
2013 — conf
NN Based Adaptive Dynamic Surface Control for Fully Actuated AUV.
ISNN (2)
Baobin Miao, Tieshan Li, Weilin Luo, Xiaori Gao
2013 — conf
Neural Network Based Robust Adaptive Dynamic Surface Control for AUVs.
ICONS
Baobin Miao, Tieshan Li, Weilin Luo
2013 — conf
Robust Fin Control for Ship Roll Stabilization by Using Functional-Link Neural Networks.
ISNN (2)
Weilin Luo, Wenjing Lv, Zaojian Zou
2011 — conf
Robust Cascaded Control of Propeller Thrust for AUVs.
ISNN (2)
Weilin Luo, Zaojian Zou
2010 J jnl
DSC approach to robust adaptive NN tracking control for a class of MIMO systems.
Int. J. Model. Identif. Control.
Tieshan Li, Wei Li, Weilin Luo
2006 J jnl
Blind space-time multiuser channel estimation in time-varying DS-CDMA systems.
IEEE Trans. Veh. Technol.
Jitendra K. Tugnait, Weilin Luo
2004 J jnl
Blind identification of time-varying channels using multistep linear predictors.
IEEE Trans. Signal Process.
Jitendra K. Tugnait, Weilin Luo
2003 — conf
Blind multiuser channel estimation in time-varying direct sequence code division multiple access systems.
ICASSP (4)
Weilin Luo, Jitendra K. Tugnait
2003 — conf
On channel estimation using superimposed training and first-order statistics.
ICASSP (4)
Jitendra K. Tugnait, Weilin Luo
2003 J jnl
On channel estimation using superimposed training and first-order statistics.
IEEE Commun. Lett.
Jitendra K. Tugnait, Weilin Luo
2002 Misc conf
Blind identification of time-varying channels using multistep linear predictors.
ICASSP
Weilin Luo, Jitendra K. Tugnait
2002 — conf
Further results on blind equalization and estimation of SIMO time-varying channels.
ISCAS (1)
Weilin Luo, Jitendra K. Tugnait
2002 J jnl
Linear prediction error method for blind identification of periodically time-varying channels.
IEEE Trans. Signal Process.
Jitendra K. Tugnait, Weilin Luo