A Hybrid Framework for Automated Geometric Problem-Solving by Integrating Formal Symbolic Systems and Deep Learning.

Saved in:
Bibliographic Details
Title: A Hybrid Framework for Automated Geometric Problem-Solving by Integrating Formal Symbolic Systems and Deep Learning.
Authors: Hu, Zhengyu1 (AUTHOR), Zhang, Xiaokai1,2 (AUTHOR), Qin, Cheng1,2 (AUTHOR), Li, Yang1,2 (AUTHOR), Leng, Tuo1,2 (AUTHOR) tleng@shu.edu.cn
Source: Symmetry (20738994). Apr2026, Vol. 18 Issue 4, p592. 25p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:20738994
DOI:10.3390/sym18040592