Venue: NeurIPS 2020 Workshop CAP

Reviews:

final_score: rating: 7: Good paper, accept
review_content: This paper presents a technique for solving loop invariant synthesis problems. The technique, called OASIS, learns to identify and refine a set of relevant variables for use within an invariant inference algorithm. This allows an invariant inference algorithm to only learn features over the relevant variables, reducing the difficulty of the search problem.

The model is tested on SyGuS invariant synthesis problems, and experimental results show that the model outperforms strong baselines. 

Overall, this work seems sound and relevant, and would make a good addition to the workshop.
review_title: OASIS

Meta-review: As the review is positive, I recommend acceptance.
Decision: Accept