Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine.

Zhuoxuan Jiang, Tianyang Zhang, Peiyan Peng, Jing Chen, Yinong Xun, Haotian Zhang, Lichi Li, Yong Li, Shaohua Zhang

Browse the full ACL paper archive.