Papers by Lichi Li
Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine (2025.acl-industry)
Copied to clipboard
Zhuoxuan Jiang, Tianyang Zhang, Peiyan Peng, Jing Chen, Yinong Xun, Haotian Zhang, Lichi Li, Yong Li, Shaohua Zhang
| Challenge: | Compared to math word problems, geometry problems emphasize multi-modal formats and the translation between informal and formal languages. |
| Approach: | They propose a symbolic deduction engine-based geometry problem generation framework that leverages a symbolic deduction engine to generate geometry problems. |
| Outcome: | The proposed method avoids inherent biases in translating natural language into formal language and guarantees to control the generated problems in terms of knowledge points and difficulties by an elaborate checking function. |