]> [1905.12149] SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver (2019) 2019-05-31 2019-05-31T10:38:41Z GM fungus rapidly kills 99% of malaria mosquitoes, study suggests - BBC News 2019-05-31T18:47:23Z 2019-05-31