Linnk AIをダウンロード
•
AIリサーチアシスタント
>
サインイン
インサイト
-
確率的プログラムの制御フロー洗練化
確率的プログラムの制御フロー洗練化によるKoATでの複雑性解析
確率的プログラムの複雑性解析を改善するために、制御フロー洗練化(CFR)を確率的プログラムに拡張し、その正当性を示した。
1