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