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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Jiang, Zhuoxuan, Zhang, Tianyang, Peng, Peiyan, Chen, Jing, Xun, Yinong, Zhang, Haotian, Li, Lichi, Li, Yong, Zhang, Shaohua
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!