Edoardo Manino

プレーンCでコーディングされたニューラルネットワークを検証するベンチマークを紹介します。

このレポートでは、AIニューラルネットワークのメモリ安全性を向上させる方法について話してるよ。

この研究は、区間解析が有界モデルチェックの効果をどう向上させるかを調べてるよ。