Итеративный multiPRover
method
ID: iterativemultiprover
Детали сущности
Основная информация
ID сущности
iterativemultiprover
Тип сущности
Method
Английская метка
Iterative multiPRover
Русская метка
Итеративный multiPRover
Казахская метка
Итеративті multiPRover
Частота
1
Описание
Английское описание
A model that generates proofs iteratively by explicitly conditioning on previously generated proofs.
Русское описание
-
Казахское описание
-