Hacker News
- SATNet: Bridging deep learning and logical reasoning with differentiable SAT https://arxiv.org/abs/1905.12149 17 comments
Linking pages
- GitHub - Kyubyong/sudoku: Can Neural Networks Crack Sudoku? https://github.com/Kyubyong/sudoku 105 comments
- ICML 2019 | Google, ETH Zurich, MPI-IS, Cambridge & PROWLER.io Share Best Paper Honours | by Synced | SyncedReview | Medium https://medium.com/syncedreview/icml-2019-google-eth-zurich-mpi-is-cambridge-prowler-io-share-best-paper-honours-4aeabd5c9fc8 0 comments
Related searches:
Search whole site: site:arxiv.org
Search title: [1905.12149] SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
See how to search.