Explore projects
-
-
Updated
-
Updated
-
Updated
-
Any documentation helpfull to understand Codalab software.
Updated -
Updated
-
Updated
-
NLP / Deep Learning / albert_pytorch
Apache License 2.0Updated -
Updated
-
NLP / Deep Learning / Megatron-DeepSpeed
Apache License 2.0Ongoing research training transformer language models at scale, including: BERT & GPT-2
Updated -
Updated
-
Olivier Chapuis / pointsverts
MIT LicenseUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication
UpdatedUpdated