Weilin Luo
9 papers · 2021–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Silver π Academic Marathon Β· Sprint πΊοΈ Taxonomy Completionist (28) π£ Hot Topic Early Bird π Conference Polyglot Β· Bronze
π
Renaissance Researcher
(6)
π
Trend Setter
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Machine Learning
(7)
Deep Learning
(4)
Architectures
(4)
Natural Language Processing
(3)
Learning Types
(3)
Optimization & Theory
(3)
Application Areas
(2)
Core Methods
(2)
Computer Science
(1)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Reinforcement Learning
(1)
Applications
(1)
Keywords
neural network
(4)
large language model
(2)
temporal logic
(2)
linear temporal logic
(2)
formula learning
(2)
fact verification
(1)
mathematical reasoning
(1)
representation learning
(1)
instruction tuning
(1)
differentiable learning
(1)
branch and bound
(1)
mixed integer programming
(1)
differentiable programming
(1)
noise tolerance
(1)
natural language processing
(1)
recursive neural network
(1)
noise-tolerant learning
(1)
supervised learning
(1)
data selection
(1)
polynomial time
(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
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding
AAAI 2024
L2P-MIP: Learning to Presolve for Mixed Integer Programming
ICLR 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
Improving Local Search Algorithms via Probabilistic Configuration Checking
AAAI 2022
Teaching LTLf Satisfiability Checking to Neural Networks
IJCAI 2022
A DQN-based Approach to Finding Precise Evidences for Fact Verification
ACL 2021