Neural architecture search using property guided synthesis