Intelligent Personal Assistant (IPA) has emerged as a valuable tool for EFL learning by offering interactive authentic contexts. Although IPA is believed to be motivational and useful, empirical evidence is limited and contradictory, especially the efficacy of listening comprehension. Therefore, the study investigated the impact of IPA on…

Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…