Learning nonlinear loop invariants with gated continuous logic networks

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 11, 2020
Source ID
10.1145/3385412.3385986

Entities

People

  • Gabriel Ryan
  • Jianan Yao
  • Justin Wong
  • Ronghui Gu
  • Suman Jana

Organizations

  • Columbia University
  • National Science Foundation
  • Office of Naval Research