Juan Zhai

新しい手法でDLフレームワークのパフォーマンスバグを効率的に見つける。

新しいツールがクロスチェーンスマートコントラクトの脆弱性を特定することを目指してるんだ。

新しいフレームワークが、モデルプルーニング中のディープニューラルネットワークの公平性に取り組んでる。

新しい方法が大規模言語モデルの脱獄の効率と効果を高める。