Daniel will be discussing "SAT solving to neural SAT solvers", loosely touching on:
- SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver. P. Wang, et al. (2019).
Date:
Thursday, 13 June, 2019 - 18:00 to Friday, 14 June, 2019 - 17:45
Location:
Informatics Forum 4.31/4.33