Sign in
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression.
Jiaqi Chen
Tong Li
Jinghui Qin
Pan Lu
Liang Lin
Chongyu Chen
Xiaodan Liang
Published in:
CoRR (2022)
Keyphrases
</>
logical reasoning
formal semantics
three dimensional
data sets
geometric constraints
real time
expression recognition
mathematical knowledge
mathematical expressions
mathematical models
source code
multiscale
decision trees
search engine
artificial intelligence
machine learning
data mining