We introduce Ideograph, a language for expressing and manipulating struc...
Prediction sets have recently been shown to be a promising strategy for
...
A key challenge facing natural language interfaces is enabling users to
...
We present an approach for designing correct-by-construction neural netw...