Hacker News
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision https://arxiv.org/abs/1802.03685 10 comments
Linking pages
- NLP’s generalization problem, and how researchers are tackling it https://thegradient.pub/frontiers-of-generalization-in-natural-language-processing/ 40 comments
- deep-learning-papers/README.md at master · sbrugman/deep-learning-papers · GitHub https://github.com/sbrugman/deep-learning-papers/blob/master/README.md 3 comments
- GitHub - dselsam/neurosat: NeuroSAT: Learning a SAT Solver from Single-Bit Supervision https://github.com/dselsam/neurosat 0 comments
- GitHub - thunlp/GNNPapers: Must-read papers on graph neural networks (GNN) https://github.com/thunlp/GNNPapers 0 comments
- GitHub - jdnklau/fm-ml: Collection of resources for research concerning Machine Learning and Formal Methods. https://github.com/jdnklau/fm-ml 0 comments
Related searches:
Search whole site: site:arxiv.org
Search title: [1802.03685] Learning a SAT Solver from Single-Bit Supervision
See how to search.