Zhe Hou

大規模言語モデルと形式手法をつなげて、信頼できるAIソリューションを作る。