Weilin Luo
10 papers · 2021–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (5) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (8) 🏃 Academic Marathon (5)
🌉
Interdisciplinary Bridge
🐝
Cross-Pollinator
(8)
🏃
Academic Marathon
(5)
🏆
Keyword Champion
(2)
💎
Century Club
(10)
📈
Trend Setter
Conferences
AAAI (6)
ACL (1)
ICLR (1)
IJCAI (1)
IJCNLP (1)
Top co-authors
Research topics
Keywords
neural network
(3)
large language model
(2)
temporal logic
(2)
linear temporal logic
(2)
formula learning
(2)
fact verification
(2)
evidence retrieval
(2)
selective prediction
(1)
mathematical reasoning
(1)
representation learning
(1)
differentiable programming
(1)
noise tolerance
(1)
instruction tuning
(1)
polynomial time
(1)
differentiable learning
(1)
natural language processing
(1)
data selection
(1)
claim verification
(1)
reasoning model
(1)
recursive neural network
(1)
Papers
Large Language Models Struggle with Unreasonability in Math Problems
AAAI 2026
RICo: Refined In-Context Contribution for Automatic Instruction-Tuning Data Selection
AAAI 2026
L2P-MIP: Learning to Presolve for Mixed Integer Programming
ICLR 2024
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding
AAAI 2024
A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving
AAAI 2023
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae
AAAI 2022
Teaching LTLf Satisfiability Checking to Neural Networks
IJCAI 2022
Improving Local Search Algorithms via Probabilistic Configuration Checking
AAAI 2022
A DQN-based Approach to Finding Precise Evidences for Fact Verification
ACL 2021
A DQN-based Approach to Finding Precise Evidences for Fact Verification
IJCNLP 2021