Запитання з тегом «automated-theorem-proving»

4
Чи можна навчити глибокі мережі для доведення теорем?
Припустимо, що у нас є велика кількість доказів першого предикатного обчислення. Припустимо, у нас є також аксіоми, наслідки та теореми в цій галузі математики. Розглянемо кожне твердження, яке було доведено, та сукупність існуючої теорії, що стосується конкретного пропозиції, як приклад у навчальному наборі та відомий хороший доказ твердження як пов’язані …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.