Layer 별로 tensor값 출력하기
모델
모델 로드
referring to the weights by neurons
model.layer.weight, model.layer.bias -> add them to constraints operations.
I'm an graduate student majoring in Computer Engineering at Inha University. I'm interested in Machine learning developing frameworks, Formal verification, and Concurrency.