research
∙
07/25/2022
A Hazard Analysis Framework for Code Synthesis Large Language Models
Codex, a large language model (LLM) trained on a variety of codebases, e...
share
research
∙
07/07/2021
Evaluating Large Language Models Trained on Code
We introduce Codex, a GPT language model fine-tuned on publicly availabl...
research
∙
01/29/2021
Safety Case Templates for Autonomous Systems
This report documents safety assurance argument templates to support the...
research
∙
04/15/2020
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
With the recent wave of progress in artificial intelligence (AI) has com...
research
∙
02/28/2020
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS – a collection of Technical Notes Part 2
This report provides an introduction and overview of the Technical Topic...
research
∙
02/28/2020