Name:Xinyue Zuo

Country:Singapore

Affiliation:National University of Singapore

Research interests:Trustworthiness, Large Language Models, Formal Methods