NeurIPS 2019
Sun Dec 8th through Sat the 14th, 2019 at Vancouver Convention Center
Paper ID:5575
Title:G2SAT: Learning to Generate SAT Formulas

Dear authors: your paper was considered in great detail by the reviewers, and their evaluation of the paper was quite positive. Also, the rebuttal clarified various aspects of the paper. The topic at hand, generating SAT formulas using generative modelling, is quite interesting and the use of sophisticated ML tools seems quite promising. Your paper will be accepted, but I would strongly encourage you to consider the reviewers' detailed comments when finalizing your camera-ready document.