Khashayar Etemadi

大規模言語モデルはソフトウェア開発における差分テストを改善する。

新しいツールがLLMと形式検証を組み合わせて、安全なコード作成を実現するよ。