Generating Natural Language Proofs with Verifier-Guided Search
31639Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
NLProofS
Method |
achieves |
Дұрыстылықтың ұлғаюы
Metric |
|
NLProofS
Method |
evaluatedIn |
ENTAILMENTBANK
Material |
|
NLProofS
Method |
evaluatedIn |
RuleTaker
Material |
|
Дәлелдеу генерациясы
Task |
uses |
Қадамдық генерация
Method |
|
Табиғи тілде ойлау
Task |
isA |
Дәлелдеу генерациясы
Task |
|
Қадамдық генерация
Method |
isA |
NLProofS
Method |