We are experiencing minor difficulties with some of our submission forms, which we are working to resolve. You should still be able to submit items, but if you have any issues while submitting, please contact us at dspace-lib@mit.edu.

Neural Architecture Search using Property Guided Synthesis

Thumbnail Image
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
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3563329
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.