Learning dynamic polynomial proofs. - Fawzi, Alhussein; Malinowski, Mateusz; Fawzi, Hamza; Fawzi, Omar (2019)