Neural Architecture Search using Property Guided Synthesis

Charles Jin, Phitchaya Mangpo Phothilimthana, Sudip Roy

In the past few years, neural architecture search (NAS) has become an increasingly important tool within the deep learning community. Despite the many recent successes of NAS, howe…