The team website

This is the development trunc of the HOL-CSP2.0 project.

Ongoing research training transformer language models at scale, including: BERT & GPT-2

Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication

My academic website