NeurIPS 2019
Sun Dec 8th through Sat the 14th, 2019 at Vancouver Convention Center
Paper ID:2323
Title:Learning dynamic polynomial proofs


		
The reviewers agree that the contributions made in this submission are significant. Most of their questions and comments were successfully addressed in the rebuttal and they all recommended acceptance.