미분 가능한 완화
불연속적이거나 미분 불가능한 함수를 미분 가능한 연속 함수로 근사하는 기법이다. 이를 통해 논리적 제약 조건을 딥러닝의 경사 하강법 학습 루프에 직접 포함시킬 수 있게 한다.
코드 생성의 한계 돌파: 비미분 솔버와 딥러닝을 잇는 뉴로심볼릭 학습 전략