doesn’t seem directly related but surely it’s indirectly related, this is an interesting idea: “We demonstrate that iteratively training a value function on statements generated by our language model leads to improved prover performance, which immediately suggests a strategy for continuous self improvement: keep training on proofs generated by the prover.”