Lean-STaR: Learning to Interleave Thinking and Proving.

Haohan Lin Zhiqing Sun Yiming Yang Sean Welleck

Published in: CoRR (2024)

Keyphrases

learning algorithm
learning tasks
real time
decision making
learning process
online learning
inductive learning
learning systems
learning problems
meta cognitive
elementary school
learning analytics
mobile learning
semi supervised
prior knowledge
information retrieval
data sets