4
이론을 증명하기 위해 딥 네트워크를 훈련시킬 수 있습니까?
1 차 술어 미적분학에 많은 수의 증거가 있다고 가정하십시오. 우리는 또한 그 형태의 수학 영역에 공리, 목록, 정리가 있다고 가정하자. 입증 된 각각의 명제와 해당 특정 명제를 둘러싼 기존 이론의 본문을 훈련 세트에서 예로 제시하고 관련 레이블로서 명제에 대한 알려진 좋은 증거를 고려하십시오. 이제이 예제 세트를 학습하도록 특별히 설계된 딥 …