Choosing which previously proved lemmas, out of a large library, are relevant to the current goal.
Continue to AI University →