Learning nonlinear loop invariants with gated continuous logic networks

Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
January, 2020
PDF Code
Type
Conference paper
Publication
PLDI 2020
Jianan Yao
Jianan Yao
Ph.D. Candidate in Computer Science

Not used.