Weilin Luo (Preferred)
Weilin Luo
Lecturer, SUN YAT-SEN UNIVERSITY
Joined
May 2021
Names
Emails
****@mail2.sysu.edu.cn (Confirmed)
****@mail.sysu.edu.cn (Confirmed)
Personal Links
Career & Education History
Lecturer
SUN YAT-SEN UNIVERSITY (sysu.edu.cn)
2025 – Present
Postdoc
SUN YAT-SEN UNIVERSITY (sysu.edu.cn)
2022 – 2025
PhD student
SUN YAT-SEN UNIVERSITY (sysu.edu.cn)
2018 – 2022
Advisors, Relations & Conflicts
Expertise
Artificial Intelligence
, Knowledge Representation and Reasoning
, Neurosymbolic
2018 – Present
Software Engineering
, Formal Methods
, Autoformalization
2015 – Present