OpenAI Blog

Introducing the Model Spec

OpenAI Blog
Nov 5, 2019

GPT-2: 1.5B release

As the final model release of GPT-2’s staged release, we’re releasing the largest version (1. 5B parameters) of GPT-2 along with code and model weights to facilitate detection of outputs of GPT-2 models.

arXiv AI
Jul 29

Specula: Scaling formal specifications for autonomous model checking of system code

arXiv:2607. 25333v1 Announce Type: cross Abstract: Specula is a push-button agentic system that generates high-quality formal specifications for large, complex system code and uses the specifications for highly effective model checking and bug finding.

By Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang, Yiming Su, Emilie Ma, Finn Hackett, Ivan Beschastnikh, Yu Huang, Tianyin Xu