Zezhong Chen

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Language Model For Information Retrieval

Translation Model

Inverse Kinematics

Top Venues

Publications

Zezhong Chen, Yuxin Deng, Wenjie Du
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models. CoRR (2023)
Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li
Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness. QRS Companion (2021)
Zezhong Chen
Research on Multiple-Degree-of-Freedom Manipulator. CSIA (2019)