Login / Signup
Proving Theorems Recursively.
Haiming Wang
Huajian Xin
Zhengying Liu
Wenda Li
Yinya Huang
Jianqiao Lu
Zhicheng Yang
Jing Tang
Jian Yin
Zhenguo Li
Xiaodan Liang
Published in:
CoRR (2024)
Keyphrases
</>
coarse to fine
high quality
high level
multiscale
hierarchical structure
digital topology
decision trees
end users