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