On how formal verification and deep learning can complement one another, thinking about "intelligence," AI safety concerns, and groundedness.
Talia Ringer: Formal Verification and Deep Learning
Talia Ringer: Formal Verification and Deep…
Talia Ringer: Formal Verification and Deep Learning
On how formal verification and deep learning can complement one another, thinking about "intelligence," AI safety concerns, and groundedness.