activity
20192023
most citedThe Wisdom of Hindsight Makes Language Models Better Instruction Followers

9 citations · 9 across the 3 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

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…