• GPT-3

  • Referenced in 18 articles [sw42135]
  • that uses deep learning to produce human-like text...
  • Text2Action

  • Referenced in 0 articles [sw42586]
  • sentence annotations extracted from MSR-Video-to-Text (MSR-VTT), a large-scale video dataset ... demonstrate that the network can generate human-like actions which can be transferred...
  • Theorema

  • Referenced in 150 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • ForTheL

  • Referenced in 11 articles [sw09797]
  • ForTheL — the language of formal theories. ForTheL, an...
  • GitHub

  • Referenced in 2760 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • GloVe

  • Referenced in 100 articles [sw26211]
  • GloVe: Global Vectors for Word Representation. GloVe is...
  • Naproche

  • Referenced in 13 articles [sw28307]
  • The Naproche project (Natural language Proof Checking) studies...
  • SuperGLUE

  • Referenced in 4 articles [sw30754]
  • SuperGLUE: A Stickier Benchmark for General-Purpose Language...
  • DistilBERT

  • Referenced in 11 articles [sw30758]
  • DistilBERT, a distilled version of BERT: smaller, faster...
  • Megatron-LM

  • Referenced in 3 articles [sw30761]
  • Megatron-LM: Training Multi-Billion Parameter Language Models...
  • ReCoRD

  • Referenced in 3 articles [sw30762]
  • ReCoRD: Bridging the Gap between Human and Machine...
  • XLNet

  • Referenced in 20 articles [sw31118]
  • XLNet: Generalized Autoregressive Pretraining for Language Understanding. With...
  • RoBERTa

  • Referenced in 29 articles [sw32571]
  • RoBERTa: A Robustly Optimized BERT Pretraining Approach. RoBERTa...
  • BLEU

  • Referenced in 71 articles [sw36205]
  • BLEU (bilingual evaluation understudy) - BLEU: a Method for...
  • PIQA

  • Referenced in 1 article [sw42137]
  • PIQA: Reasoning about Physical Commonsense in Natural Language...
  • HellaSwag

  • Referenced in 2 articles [sw42138]
  • HellaSwag: Can a Machine Really Finish Your Sentence...