AIにソフトウェアの推論を教える

要点

• Soteriaのトレースで訓練した8Bパラメータモデルが、推論と組み合わせて違反検出を17.9ポイント向上。
• 訓練後の8Bモデルは未訓練の32Bモデルより高い違反検出率（67%対57%）。
• 改善はメモリ安全性、オーバーフロー、停止性、到達可能性、データ競合に一般化。
• シンボリック実行トレースは、AIにプログラム意味論を教えるスケーラブルな訓練データ源となる。