4
क्या गहरे नेटवर्क को सिद्ध करने के लिए प्रशिक्षित किया जा सकता है?
मान लें कि हमारे पास बड़ी संख्या में प्रमाण हैं जो पहले क्रम में गणना करते हैं। मान लें कि हमारे पास गणित के उस क्षेत्र में स्वयंसिद्ध, कोरोलरीज और प्रमेय भी हैं। प्रत्येक प्रस्ताव को सिद्ध किया गया था और प्रशिक्षण सेट में एक उदाहरण के रूप में मौजूदा …