We present Sparrow, an information-seeking dialogue agent trained to be ...
Large language models produce human-like text that drive a growing numbe...
Large language models (LM) generate remarkably fluent text and can be
ef...
We propose a general framework for verifying input-output specifications...
Convex relaxations have emerged as a promising approach for verifying
de...
Many real-world physical control systems are required to satisfy constra...
There has been considerable progress made towards conversational models ...
There is a growing interest in building autonomous systems that interact...
Large transformer-based language models (LMs) trained on huge text corpo...
Deep neural networks are vulnerable to adversarial examples, which
drama...
Temporal logic based synthesis approaches are often used to find traject...