Invited Talk
in
Workshop: Differentiable Almost Everything: Differentiable Relaxations, Algorithms, Operators, and Simulators
Invited Talk 3: Differentiable Learning modulo Formal Verification
Swarat Chaudhuri
Abstract:
Swarat Chaudhuri
Chat is not available.