Before revision:  This learning happens in an online manner -- meaning that Tactician's machine learning model is updated immediately every time the user performs a step in an interactive proof.
After revision:  This learning happens in an online manner , meaning that Tactician's machine learning model is updated immediately every time the user performs a step in an interactive proof.