Playlist: 50 videos

The Unreasonable Effectiveness of SAT Solving

0:30:21

DL2: Training and Querying Neural Networks with Logic

Marc Fischer (ETH Zurich)
https://simons.berkeley.edu/talks/dl2-training-and-querying-neural-networks-logic
Theoretical Foundations of SAT/SMT Solving
Visit talk page
0:30:30

Training Neural Networks with a Little Help from Knowledge

Vivek Srikumar (University of Utah)
https://simons.berkeley.edu/talks/tbd-306
Theoretical Foundations of SAT/SMT Solving
Visit talk page