Review for NeurIPS paper: STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks

This paper initially received three reviews. The reviewers appreciated the integration of temporal logic with deep learning presented in the paper. The main concerns centered around the relations of the proposed method to existing literature and first-order logic specifications. After reading the authors' rebuttal the reviewers engaged in detailed debate around the merits of the paper. A fourth expert reviewer's opinion was sought to help come to a decision.