Haokun Li
5 papers
· 2020–2025
· 5 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(5)
π
Academic Marathon
(5)
π
Cross-Pollinator
(12)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(12)
Conferences
AAAI (1)
ACL (1)
ECCV (1)
ICML (1)
MICCAI (1)
Top co-authors
Keywords
computer vision
(1)
theorem proving
(1)
formal verification
(1)
motion transfer
(1)
formal specification
(1)
formal proof
(1)
natural language requirement
(1)
3d face reconstruction
(1)
large language model
(1)
identity consistency
(1)
expression recognition
(1)
facial motion retargeting
(1)
identity prediction
(1)