Back to Browse

Towards ML for Quantification in SMT

436 views
Streamed live on May 4, 2021
1:59:58

Mikoláš Janota (Czech Technical University) https://simons.berkeley.edu/talks/tbd-310 Beyond Satisfiability

Download

1 formats

Video Formats

360pmp4147.6 MB

Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.

Towards ML for Quantification in SMT | NatokHD