Chloe Loughridge

MIPSはニューラルネットワークからプログラムを作る新しい方法を提供してるよ。

DafnyBenchはソフトウェア検証ツールのベンチマークを行って、信頼できるプログラミングへの道を開いてるよ。

AIとDafnyを組み合わせてソフトウェアの検証プロセスを簡単にする。