3 papers
cs.CV2021
Scaled-Time-Attention Robust Edge Network
Richard Lau, Lihan Yao, Todd Huster +6
This paper describes a systematic approach towards building a new family of neural networks based on a delay-loop version of a reservoir neural network. The resulting architecture,…
cs.SE2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)
Jianan Yao, Gabriel Ryan, Justin Wong +2
Verifying real-world programs often requires inferring loop invariants with nonlinear constraints. This is especially true in programs that perform many numerical operations, such…
cs.LG2019
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
Gabriel Ryan, Justin Wong, Jianan Yao +2
Program verification offers a framework for ensuring program correctness and therefore systematically eliminating different classes of bugs. Inferring loop invariants is one of the…