1.5k citations · 1.7k across the 14 of their papers we have counts for
4 papers · 1 filter
A Hazard Analysis Framework for Code Synthesis Large Language Models
Heidy Khlaaf, Pamela Mishkin, Joshua Achiam +2
Codex, a large language model (LLM) trained on a variety of codebases, exceeds the previous state of the art in its capacity to synthesize and generate code. Although Codex provide…
Safety Case Templates for Autonomous Systems
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +2
This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document…
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 2
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +8
This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS…
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +8
This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS…