Login / Signup
FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning.
Xiaokai Zhang
Na Zhu
Yiming He
Jia Zou
Cheng Qin
Yang Li
Tuo Leng
Published in:
Symmetry (2024)
Keyphrases
</>
geometric reasoning
search algorithm
intelligent search
semi automated
search space
tree search
search strategies
computer vision
constraint satisfaction problems
branch and bound
neural network
scene understanding
object recognition
search efficiency
high quality
game tree
constraint solver
machine learning