He, Yiming

1. FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
   2023/10/27 by Xiaokai Zhang, Zhang, Xiaokai, Na Zhu +37 · 6 citations
   Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Constraint Satisfaction and Optimization
2. 3D Hand Pose Estimation via Regularized Graph Representation Learning
   2019/12/04 by Yiming He, He, Yiming, Wei Hu +1 · 1 citation
   Computer Science · Engineering · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Hand Gesture Recognition Systems #Human Pose and Action Recognition #Robot Manipulation and Learning
3. FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
   2024/02/14 by Zou Jia, Zou, Jia, Xiaokai Zhang +7 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Software Engineering Research #Software Reliability and Analysis Research