Ironically, LLMs are pretty good at finding stuff like that from vague descriptions. With that, I think the parent commenter meant Art Graesser's AutoTutor work based on the terminology used (hint/pump).

TLDR: Actual human tutoring sessions were recorded and analyzed and Socratic questioning was barely used at all. Instead the following pattern was observed:

Pump — "Uh huh?" "What else?" Costs nothing, so try it first.

Hint — points at the region of the answer. "What about the pumpkin's motion sideways?"

Prompt — fishes for one specific word, with the sentence frame supplied. "The pumpkin keeps moving forward at the same ___?"

Assertion — just says it. "It keeps the runner's horizontal velocity."