NLProofS
method
ID: nlproofs
Entity Details
Basic Information
Entity ID
nlproofs
Entity Type
Method
English Label
NLProofS
Russian Label
NLProofS
Kazakh Label
NLProofS
Frequency
1
Description
English Description
Natural Language Proof Search, a method that generates proof steps conditioning on a hypothesis.
Russian Description
-
Kazakh Description
-