From Textbooks to Knowledge: A Case Study in Harvesting Axiomatic Knowledge from Textbooks to Solve Geometry Problems Mrinmaya Sachan author Kumar Dubey author Eric Xing author 2017-09 text Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing Martha Palmer editor Rebecca Hwa editor Sebastian Riedel editor Association for Computational Linguistics Copenhagen, Denmark conference publication sachan-etal-2017-textbooks 10.18653/v1/D17-1081 https://aclanthology.org/D17-1081/ 2017-09 773 784