FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

1 code implementation • 27 Oct 2023 • Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Qike Huang, Xiaoxiao Jin, Yanjun Guo, Chenyang Mao, Yang Li, Zhe Zhu, Dengfeng Yue, Fangzhen Zhu, Yifan Wang, Yiwen Huang, Runan Wang, Cheng Qin, Zhenbing Zeng, Shaorong Xie, Xiangfeng Luo, Tuo Leng

In this paper, we have constructed a consistent formal plane geometry system.

Geometry Problem Solving

SNF: Filter Pruning via Searching the Proper Number of Filters

no code implementations • 14 Dec 2021 • Pengkun Liu, Yaru Yue, Yanjun Guo, Xingxiang Tao, Xiaoguang Zhou

Filter pruning with our method leads to the state-of-the-art (SOTA) accuracy on CIFAR-10 and achieves competitive performance on ImageNet ILSVRC-2012. SNF based on the ResNet-56 network achieves an increase of 0. 14% in Top-1 accuracy at 52. 94% FLOPs reduction on CIFAR-10.