ProofWriter

swMATH42710MaRDI QIDQ5974192FDOQ5974192

Official website https://arxiv.org/abs/2012.13048

Cited in

(6)

• Avicenna: a challenge dataset for natural language generation toward commonsense syllogistic reasoning
• BLEURT
• multiPRover
• NILE
• DeepA2
• RuleTaker

This page was built for software: ProofWriter