TY  - RPRT
TI  - Learning dynamic polynomial proofs
AU  - Alhussein Fawzi
AU  - Mateusz Malinowski
AU  - Hamza Fawzi
AU  - Omar Fawzi
PY  - 2019
UR  - https://arxiv.org/abs/1906.01681
ID  - 1906.01681
ER  -