Neural Architecture Search using Property Guided Synthesis

Jin, Charles; Phothilimthana, Phitchaya Mangpo; Roy, Sudip

Neural Architecture Search using Property Guided Synthesis

Download

Name

3563329.pdf

Size

1.15 MB

Format

Adobe PDF

Checksum (MD5)

e2a8e377a94c7ad0238b532afb700192

Download all files submitted through automated deposit

3563329.zip (988.28 KB)

Author(s)

Jin, Charles

•

Phothilimthana, Phitchaya Mangpo

•

Roy, Sudip

Date Issued

October 31, 2022

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

MIT Department

Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory

Terms of Use

Creative Commons Attribution 4.0 International license

https://creativecommons.org/licenses/by/4.0/

Persistent DSpace Link

https://hdl.handle.net/1721.1/146505

DOI of Published Version

https://doi.org/10.1145/3563329