SAT/SMT 튜토리얼
이 포스팅은 Coursera 강의, ‘Automated Reasoning: Satisfiablity‘의 SAT, SMT 튜토리얼입니다.
최근 포스트
On Decomposing a Deep Neural Network into Modules
이 포스팅은 ‘On Decomposing a Deep Neural Network into Modules’ 논문에 대한 소개를 담고 있습니다.
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
이 포스팅은 ‘DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers’ 논문에 대한 소개를 담고 있습니다.
도커 사용법을 익혀보자
이 포스팅은 도커를 다루는 방법에 대해 설명합니다. 이 포스팅은 하단 링크 영상의 상당 부분을 참조하여 작성되었습니다.