Ying Sheng

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

新しい方法で大規模言語モデルのスピードと効率が向上するよ。

AIメトロポリスがシミュレーションでエージェントのやり取りをどう速くして、良くするかを見てみよう。