219 citations · 231 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 12 cited
Towards making formal methods normal: meeting developers where they are
Alastair Reid, Luke Church, Shaked Flur +3
Formal verification of software is a bit of a niche activity: it is only applied to the most safety-critical or security-critical software and it is typically only performed by spe…
cs.CY2020★ 219 cited
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
Miles Brundage, Shahar Avin, Jasmine Wang +56
With the recent wave of progress in artificial intelligence (AI) has come a growing awareness of the large-scale impacts of AI systems, and recognition that existing regulations an…