Luo, Weilin

7 publications

NeurIPS 2025 Dynamic Configuration for Cutting Plane Separators via Reinforcement Learning on Incremental Graph Mingxuan Ye, Jie Wang, Fangzhou Zhu, Zhihai Wang, Yufei Kuang, Xijun Li, Weilin Luo, Jianye Hao, Feng Wu

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

ICLR 2024 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

AAAI 2023 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 2022 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, Biqing Fang, Delong Zhang

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