ASTRA

An AI Model for Understanding Math Strategies