NeurASP: 신경망을 답안 집합 프로그래밍에 적용하기 | Synapse