Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Aref Moqadam Mehr
ArefMq
Preferred Pronunciation: /'ærɛf/
Preferred Pronoun: he/him/his
@automata-tech London, UK