• CVXPY

  • Referenced in 79 articles [sw13968]
  • Python-Embedded Modeling Language for Convex Optimization. CVXPY is a domain-specific language for convex ... express convex optimization problems in a natural syntax that follows the math, rather than...
  • BERT

  • Referenced in 118 articles [sw30756]
  • models for a wide range of tasks, such as question answering and language inference, without ... state-of-the-art results on eleven natural language processing tasks, including pushing the GLUE...
  • MALLET

  • Referenced in 23 articles [sw10602]
  • package for statistical natural language processing, document classification, clustering, topic modeling, information extraction, and other...
  • ALBERT

  • Referenced in 10 articles [sw36207]
  • Language Representations. Increasing model size when pretraining natural language representations often results in improved performance ... downstream tasks. However, at some point further model increases become harder due to GPU/TPU memory...
  • Transformers

  • Referenced in 25 articles [sw30739]
  • Understanding (NLU) and Natural Language Generation (NLG) with over 32+ pretrained models in 100+ languages...
  • DistilBERT

  • Referenced in 11 articles [sw30758]
  • large-scale pre-trained models becomes more prevalent in Natural Language Processing (NLP), operating these...
  • MCMAS

  • Referenced in 82 articles [sw09463]
  • MCMAS: A Model Checker for the Verification of Multi-Agent Systems. While temporal logic ... high-level agents attitudes. In particular, specification languages based on epistemic logic [7], or logics ... involving anonymity [4] are known to be naturally expressible in epistemic formalisms as they explicitly...
  • Miranda

  • Referenced in 153 articles [sw04986]
  • have seen much fruitful research into the nature of functional programming. Although there are still ... well-documented programming languages. Miranda is a functional programming language which has been developed with ... basic ideas of Miranda are closely modelled on those of the earlier languages SASL...
  • Zinc

  • Referenced in 26 articles [sw08334]
  • modelling language. Zinc is a new modelling language developed as part of the G12 project ... First, Zinc allows specification of models using a natural mathematical-like notation ... language, it can be readily extended to different application areas by means of powerful language ... which allows early detection of errors in models. Finally, perhaps the main novelty in Zinc...
  • CodeBERT

  • Referenced in 5 articles [sw36366]
  • CodeBERT: A Pre-Trained Model for Programming and Natural Languages. We present CodeBERT, a bimodal ... trained model for programming language (PL) and nat-ural language (NL). CodeBERT learns general-purpose ... downstream NL-PL applications such as natural language codesearch, code documentation generation, etc. We develop ... performance on both natural language code search and code documentation generation tasks. Furthermore, to investigate...
  • PySP

  • Referenced in 23 articles [sw04921]
  • nature of uncertain parameters) in the Pyomo open-source algebraic modeling language. Given these...
  • TinyBERT

  • Referenced in 3 articles [sw32564]
  • TinyBERT: Distilling BERT for Natural Language Understanding. Language model pre-training, such as BERT ... performances of many natural language processing tasks. However, pre-trained language models are usually computationally...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • LTSmin is a toolset for model checking and manipulating labelled transition systems. LTSmin already connects ... generation techniques. Implementing support for a new language module is in the order ... exploits the combinatorial nature of model checking problems. This splits model checking tools into three ... mostly independent parts: language modules, PINS optimizations, and model checking algorithms. On the other hand...
  • MEGA4

  • Referenced in 7 articles [sw07695]
  • order to provide natural language descriptions of the models and methods used in the analyses...
  • GLUE

  • Referenced in 8 articles [sw30755]
  • resources for training, evaluating, and analyzing natural language understanding systems. GLUE consists of: A benchmark ... model performance with respect to a wide range of linguistic phenomena found in natural language ... models on the diagnostic set. The format of the GLUE benchmark is model-agnostic ... development of general and robust natural language understanding systems...
  • XLNet

  • Referenced in 20 articles [sw31118]
  • than pretraining approaches based on autoregressive language modeling. However, relying on corrupting the input with ... state-of-the-art autoregressive model, into pretraining. Empirically, XLNet outperforms BERT on 20 tasks ... tasks including question answering, natural language inference, sentiment analysis, and document ranking...
  • cleanNLP

  • Referenced in 3 articles [sw19465]
  • package cleanNLP: A Tidy Data Model for Natural Language Processing. Provides a set of fast...
  • CVXR

  • Referenced in 23 articles [sw22020]
  • package that provides an object-oriented modeling language for convex optimization, similar to CVX, CVXPY ... formulate convex optimization problems in a natural mathematical syntax rather than the restrictive standard form ... ECOS or SCS. We demonstrate CVXR’s modeling framework with several applications...
  • PyMT5

  • Referenced in 2 articles [sw40112]
  • code with transformers. Simultaneously modeling source code and natural language has many exciting applications ... single model that can both predict whole methods from natural language documentation strings (docstrings ... common style. We present an analysis and modeling effort of a large-scale parallel corpus...
  • SemanticVectors

  • Referenced in 2 articles [sw23980]
  • Package: SemanticVectors creates semantic WordSpace models from free natural language text. Such models are designed...