PPaperPicks

Weilin Luo

10 papers at tracked venues · 7 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3ISSTA ×2ACL ×1CIKM ×1ICDE ×1ICLR ×1NeurIPS ×1

Frequent coauthors

Hai Wan
×5
Jianfeng Du
×4
Bin Wang
×3
Junming Qiu
×3
Zhifang Sui
×2
Kunxun Qi
×2
Yanan Liu
×2
Xijun Li
×2
Bo Peng
×2
Rongzhen Ye
×2
Pingjia Liang
×2
Yufeng Shi
×1

Papers

  1. Exploration-Exploitation Reshaping towards Efficient Reasoning for Large Language Models
    ACL 2026 ·
    Yufeng Shi
    , Weilin Luo,
    Yuxiang Zhang
    ,
    Zongmeng Zhang
    ,
    Haoyang Liu
    ,
    Yubing Wang
    ,
    Bin Wang
    ,
    Wengang Zhou
    ,
    Houqiang Li
  2. Large Language Models Struggle with Unreasonability in Math Problems
    AAAI 2026 ·
    Jingyuan Ma
    ,
    Damai Dai
    ,
    Zihang Yuan
    ,
    Rui Li
    , Weilin Luo,
    Bin Wang
    ,
    Qun Liu
    ,
    Lei Sha
    ,
    Zhifang Sui
  3. RICo: Refined In-Context Contribution for Automatic Instruction-Tuning Data Selection
    AAAI 2026 ·
    Yixin Yang
    ,
    Qingxiu Dong
    ,
    Linli Yao
    ,
    Fangwei Zhu
    , Weilin Luo,
    Bin Wang
    ,
    Zhifang Sui
  4. Semantic Compression for Sound and Complete Query Answering Over Knowledge Graphs
    ICDE 2026 ·
    Junhua Ma
    ,
    Jianfeng Du
    ,
    Hai Wan
    ,
    Yue Yu
    ,
    Kunxun Qi
    , Weilin Luo,
    Yanan Liu
  5. Dynamic Configuration for Cutting Plane Separators via Reinforcement Learning on Incremental Graph
    NeurIPS 2025 ·
    Mingxuan Ye
    ,
    Jie Wang
    ,
    Fangzhou Zhu
    ,
    Zhihai Wang
    ,
    Yufei Kuang
    ,
    Xijun Li
    , Weilin Luo,
    Jianye Hao
    ,
    Feng Wu
  6. NADA: Neural Acceptance-Driven Approximate Specification Mining
    ISSTA 2025 · Weilin Luo,
    Tingchen Han
    ,
    Junming Qiu
    ,
    Hai Wan
    ,
    Jianfeng Du
    ,
    Bo Peng
    ,
    Guohui Xiao
    ,
    Yanan Liu
  7. OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams
    CIKM 2025 ·
    Junming Qiu
    ,
    Rongzhen Ye
    , Weilin Luo,
    Kunxun Qi
    ,
    Hai Wan
    ,
    Yue Yu
  8. End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding
    AAAI 2024 ·
    Hai Wan
    ,
    Pingjia Liang
    ,
    Jianfeng Du
    , Weilin Luo,
    Rongzhen Ye
    ,
    Bo Peng
  9. L2P-MIP: Learning to Presolve for Mixed Integer Programming
    ICLR 2024 ·
    Chang Liu
    ,
    Zhichen Dong
    ,
    Haobo Ma
    , Weilin Luo,
    Xijun Li
    ,
    Bowen Pang
    ,
    Jia Zeng
    ,
    Junchi Yan
  10. Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
    ISSTA 2024 · Weilin Luo,
    Pingjia Liang
    ,
    Junming Qiu
    ,
    Polong Chen
    ,
    Hai Wan
    ,
    Jianfeng Du
    ,
    Weiyuan Fang