コンパイラバグの効果的な証拠プログラムを生成することによるコンパイラバグの分離

大規模言語モデルを使用して効果的な証拠プログラムを生成することで、コンパイラバグを迅速かつ効果的に分離することができる。