The dream of intelligent assistants to enhance programmer productivity has now become a concrete reality, with rapid advances in artificial intelligence. Large language models (LLMs) have demonstrated impressive capabilities in various domains based on the vast amount of data used to train them. However, tasks which require structured reasoning or…

Reports and surveys by the U.S. government and international organizations have repeatedly acknowledged the achievement problem in math in K-12 regardless of various efforts (e.g., by the U.S. Department of Education) to diminish it. To address the problem in math achievement in K-12, teachers, scholars, and the U.S. government have developed…