ProofWriter

swMATH42710MaRDI QIDQ5974192FDOQ5974192

Author name not available (Why is that?)

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