Learning nonlinear loop invariants with gated continuous logic networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu. Learning nonlinear loop invariants with gated continuous logic networks. In Alastair F. Donaldson, Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pages 106-120, ACM, 2020. [doi]

This author has not been identified. Look up 'Jianan Yao' in GoogleThis author has not been identified. Look up 'Gabriel Ryan' in GoogleThis author has not been identified. Look up 'Justin Wong' in GoogleThis author has not been identified. Look up 'Suman Jana' in GoogleThis author has not been identified. Look up 'Ronghui Gu' in Google

runs on WebDSL