AlphaUncommon
dselsam/neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
- Owner
- dselsam (personal account)
- Stars
- Stars: 299
- Forks
- Forks: 61
- Language
- Python
- License
- Apache-2.0
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by dselsam
All 2 repos by dselsam- dselsam/certigradStars: 404LeanAlpha
Nearby in Python
All Python repos- xiaomi-research/xiaomi_spatialembodiedStars: 299PythonAlpha
- undrgrnd-labs/hunchStars: 299PythonAlpha
- didi/helixharnessStars: 299PythonAlpha
- jwilder/mongodb-toolsStars: 299PythonAlpha
- invernizzi/scapy-httpStars: 299PythonAlpha
- dimatura/pypcdStars: 299PythonAlpha