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. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 6: Industry Track). 2025.
Authors
- Yuchang Xun (ORCID: https://orcid.org/0000-0003-0885-3377)
- Zhuoxuan Jiang (ORCID: https://orcid.org/0009-0009-9517-1091)
- Gang‐Ding Peng (ORCID: https://orcid.org/0000-0001-7984-8925)
- Lichi Li
- Shaohua Zhang (ORCID: https://orcid.org/0000-0001-8333-2825)
- Yong Li (ORCID: https://orcid.org/0000-0001-5617-1659)
- Haotian Zhang (ORCID: https://orcid.org/0000-0001-8521-1744)
- Jing Chen (ORCID: https://orcid.org/0000-0001-6822-0171)
- Tian‐Yang Zhang
Publication Details
- Published
- 2025-01-01
- DOI
- https://doi.org/10.18653/v1/2025.acl-industry.97
- Primary Topic
- Advanced Numerical Analysis Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00