1 paper
Yiming He, Jia Zou, Xiaokai Zhang +2
The application of contemporary artificial intelligence techniques to address geometric problems and automated deductive proof has always been a grand challenge to the interdiscipl…