2024
Löb-Safe Logics for Reflective Agents.
[DOI]
Seth Ahrenbach
CoRR, 2024

DafnyBench: A Benchmark for Formal Software Verification.
[DOI]
Chloe Loughridge
,
Qinyi Sun
,
Seth Ahrenbach
,
Federico Cassano
,
Chuyue Sun
,
Ying Sheng
,
Anish Mudide
,
Md Rakib Hossain Misu
,
Nada Amin
,
Max Tegmark
CoRR, 2024

2018
Formal analysis of pilot error with agent safety logic.
[DOI]
Seth Ahrenbach
,
Alwyn Goodloe
Innov. Syst. Softw. Eng., 2018

2017
Reasoning About Safety-Critical Information Flow Between Pilot and Computer.
[DOI]
Seth Ahrenbach
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017