NLProofS
method
ID: nlproofs
Outgoing Relationships
| Relationship | Target Entity | Type | Actions |
|---|---|---|---|
| evaluatedIn | RuleTaker | material | View |
| evaluatedIn | ENTAILMENTBANK | material | View |
| achieves | Correctness Improvement | metric | View |