Towards Robust Mathematical Reasoning [pdf]
aclanthology.org