Neural Architecture Search using Property Guided Synthesis

Author(s)
Jin, Charles; Phothilimthana, Phitchaya Mangpo; Roy, Sudip
Thumbnail
Download3563329.pdf (1.150Mb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/
Metadata
Show full item record
Date issued
2022-10-31
URI
https://hdl.handle.net/1721.1/146505
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Journal
PACM on Programming Languages
Publisher
ACM
Citation
Jin, Charles, Phothilimthana, Phitchaya Mangpo and Roy, Sudip. 2022. "Neural Architecture Search using Property Guided Synthesis." PACM on Programming Languages.
Version: Final published version
ISSN
2475-1421
Collections

The following license files are associated with this item: