1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2024
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
Jia Zou, Xiaokai Zhang, Yiming He +2
The human-like automatic deductive reasoning has always been one of the most challenging open problems in the interdiscipline of mathematics and artificial intelligence. This paper…
cs.AI2024
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
Yiming He, Jia Zou, Xiaokai Zhang +2
The application of contemporary artificial intelligence techniques to address geometric problems and automated deductive proof has always been a grand challenge to the interdiscipl…
physics.app-ph2023★ 1 cited
Inverse design and additive manufacturing of shape-morphing structures based on functionally graded composites
Hirak Kansara, Mingchao Liu, Yinfeng He +1
Shape-morphing structures possess the ability to change their shapes from one state to another, and therefore, offer great potential for a broad range of applications. A typical pa…