Kaibo Liu

AIDはLLMと差分テストを使ってソフトウェアのバグ検出を強化してるんだ。

新しいアプローチで、Python のシンボリック実行が大規模言語モデルを使って強化される。