Invited Talk
in
Workshop: Differentiable Almost Everything: Differentiable Relaxations, Algorithms, Operators, and Simulators

Invited Talk 3: Differentiable Learning modulo Formal Verification

Swarat Chaudhuri

[ Abstract ]
Fri 28 Jul 1:40 p.m. PDT — 2:15 p.m. PDT

Abstract:

Swarat Chaudhuri

Chat is not available.