firstbacksecondback
1 Results
|
Workshop
|
DafnyBench: A Benchmark for Formal Software Verification Chloe Loughridge · Qinyi Sun · Seth Ahrenbach · Federico Cassano · Chuyue (Livia) Sun · Ying Sheng · Anish Mudide · Md Rakib Hossain Misu · Nada Amin · Max Tegmark |