工作经历

• 人工智能科技企业
  （2016 - 至今） 科学家
  职责：知识工程与语义理解，数学领域知识自动化，自动解题，自动评阅。