Automating Assembly Verification with Deep Learning