Search Results for author:
Found 4 papers, 2 papers with code
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
We built a neural-symbolic system, called FGeoDRL, to automatically perform human-like geometric deductive reasoning.
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
The application of contemporary artificial intelligence techniques to address geometric problems and automated deductive proof has always been a grand challenge to the interdiscipline field of mathematics and artificial Intelligence.
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
In this paper, we have constructed a consistent formal plane geometry system.
3D Hand Pose Estimation via Regularized Graph Representation Learning
To this end, we propose a regularized graph representation learning under a conditional adversarial learning framework for 3D hand pose estimation, aiming to capture structural inter-dependencies of hand joints.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
