NeuroSAT: Learning a SAT solver from single-bit supervision via @JacobTorrey https://arxiv.org/pdf/1802.03685.pdf … [~"qbit speckle as ML (un)SAT"; 40 vars, 200 clauses, 85% accuracy SAT, PCA for assignment readout; unSAT core; message passing arch leverages permutation & negation invariance]pic.twitter.com/Em00uTWaon
06:31 - 11. ožu 2018.
0 replies
6 proslijeđenih tweetova
8 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.