ProofWriter

MaRDI QIDQ5974192swMATHFDO

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

Cited in

(6)

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

This page was built for software: ProofWriter