Jin Song Dong

新しいツールがコード編集を強化して、関連する変更を提案してくれるんだ。

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

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