Learning nonlinear loop invariants with gated continuous logic networks.

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

Browse the full PLDI paper archive.