Итеративті 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.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-