Personal information

Activities

Collapse all

Works (3)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning

Symmetry
2024-04 | Journal article | Author
DOI: 10.3390/sym16040437
Contributors: ZouJia; Xiaokai Zhang; yiming he; 娜 朱; Tuo Leng
Source: check_circle
Multidisciplinary Digital Publishing Institute

FGeo-TP: A Language Model-Enhanced Solver for Euclidean Geometry Problems

Symmetry
2024-04 | Journal article | Author
DOI: 10.3390/sym16040421
Contributors: yiming he; ZouJia; Xiaokai Zhang; 娜 朱; Tuo Leng
Source: check_circle
Multidisciplinary Digital Publishing Institute

FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning

Symmetry
2024-03 | Journal article | Author
DOI: 10.3390/sym16040404
Contributors: Xiaokai Zhang; 娜 朱; yiming he; ZouJia; QcQ; Yang Li; Tuo Leng
Source: check_circle
Multidisciplinary Digital Publishing Institute
How many people are using ORCID?