Proposal: Expert Iteration for Machine Learning Based Theorem Provers via Complexity Minimization