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.