How to use StanfordSCALE/assertion_sentence_has_math_terms with setfit:
from setfit import SetFitModel model = SetFitModel.from_pretrained("StanfordSCALE/assertion_sentence_has_math_terms")
