research
∙
02/10/2023
The Wisdom of Hindsight Makes Language Models Better Instruction Followers
Reinforcement learning has seen wide success in finetuning large languag...
share
research
∙
08/16/2022
Context-Aware Streaming Perception in Dynamic Environments
Efficient vision works maximize accuracy under a latency budget. These w...
research
∙
08/20/2021
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
This paper summarizes our formal approach to testing autonomous vehicles...
research
∙
07/09/2021
Scaled-Time-Attention Robust Edge Network
This paper describes a systematic approach towards building a new family...
research
∙
06/06/2021
A Meta Learning Approach to Discerning Causal Graph Structure
We explore the usage of meta-learning to derive the causal direction bet...
research
∙
03/17/2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)
Verifying real-world programs often requires inferring loop invariants w...
research
∙
03/17/2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
In many cases, verifying real-world programs requires inferring loop inv...
research
∙
09/25/2019
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
Program verification offers a framework for ensuring program correctness...
research
∙
08/25/2015