1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 1 cited
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
Xiaokai Zhang, Na Zhu, Yiming He +17
This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will…
cs.CV2021★ 1 cited
CvT-ASSD: Convolutional vision-Transformer Based Attentive Single Shot MultiBox Detector
Weiqiang Jin, Hang Yu
Due to the success of Bidirectional Encoder Representations from Transformers (BERT) in natural language process (NLP), the multi-head attention transformer has been more and more…