Towards Generalizable Representations of Mathematical Strategies

Siddhartha Pradhan, Ethan Prihar, Erin Ottmar

Pretrained encoders for mathematical texts have achieved significant improvements on various tasks such as formula classification and information retrieval. Yet they remain limited…