%0 Journal Article %1 journals/corr/abs-2205-03960 %A Jin, Charles %A Phothilimthana, Phitchaya Mangpo %A Roy, Sudip %D 2022 %J CoRR %K dblp %T αNAS: Neural Architecture Search using Property Guided Synthesis. %U http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-03960 %V abs/2205.03960

@article{journals/corr/abs-2205-03960, added-at = {2022-05-11T00:00:00.000+0200}, author = {Jin, Charles and Phothilimthana, Phitchaya Mangpo and Roy, Sudip}, biburl = {https://www.bibsonomy.org/bibtex/216823812230dc7e33f7a83604f33dfb2/dblp}, ee = {https://doi.org/10.48550/arXiv.2205.03960}, interhash = {a0d30e76d5e4dfa2497c3035c32cf6d6}, intrahash = {16823812230dc7e33f7a83604f33dfb2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:32:47.000+0200}, title = {αNAS: Neural Architecture Search using Property Guided Synthesis.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-03960}, volume = {abs/2205.03960}, year = 2022 }