Reviews: Learning dynamic polynomial proofs