Seth Ahrenbach

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

エージェントの反射的推論の課題についての考察。