parameters: (self, thms: List[Text])
docstring: From a list of string theorems, computes and returns their embeddings.
docstring_summary: From a list of string theorems, computes and returns their embeddings.
docstring_tokens: From a list of string theorems computes and returns their embeddings .
function: def _batch_thm_embedding(self, thms: List[Text]) -> BATCH_THM_EMB_TYPE:
      """From a list of string theorems, computes and returns their embeddings."""
      pass
function_tokens: def _batch_thm_embedding ( self , thms : List [ Text ] ) -> BATCH_THM_EMB_TYPE : pass