NeuroSAT. Neuro-symbolic approaches to the SAT problem

github.com/dmeoli/NeuroSAT
by @dmeoli

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.