Kailong Wang

研究が違法な暗号通貨取引の隠れたネットワークを明らかにした。

モバイルアプリのサードパーティSDKに関連するプライバシー問題を調査中。

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