NLProofS
method
ID: nlproofs
Детали сущности
Основная информация
ID сущности
nlproofs
Тип сущности
Method
Английская метка
NLProofS
Русская метка
NLProofS
Казахская метка
NLProofS
Частота
1
Описание
Английское описание
Natural Language Proof Search, a method that generates proof steps conditioning on a hypothesis.
Русское описание
-
Казахское описание
-