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

Hierarchical Semantic Contrast for Weakly Supervised Semantic Segmentation

1 code implementation • Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence 2023 • Yuanchen Wu, Xiaoqiang Li, Songmin Dai, Jide Li, Tong Liu, Shaorong Xie

Weakly supervised semantic segmentation (WSSS) with image-level annotations has achieved great processes through class activation map (CAM).

Weakly supervised Semantic Segmentation Weakly-Supervised Semantic Segmentation

Open-World Object Detection via Discriminative Class Prototype Learning

no code implementations • 23 Feb 2023 • Jinan Yu, Liyan Ma, Zhenglin Li, Yan Peng, Shaorong Xie

Open-world object detection (OWOD) is a challenging problem that combines object detection with incremental learning and open-set learning.

Incremental Learning Object +3

Occlusion-Robust Face Alignment Using a Viewpoint-Invariant Hierarchical Network Architecture

1 code implementation • CVPR 2022 • Congcong Zhu, Xintong Wan, Shaorong Xie, Xiaoqiang Li, Yinzheng Gu

The occlusion problem heavily degrades the localization performance of face alignment.

Face Alignment Robust Face Alignment

Learning Discriminative Representations for Fine-Grained Diabetic Retinopathy Grading

no code implementations • 4 Nov 2020 • Li Tian, Liyan Ma, Zhijie Wen, Shaorong Xie, Yupeng Xu

Diabetic retinopathy (DR) is one of the leading causes of blindness.

Diabetic Retinopathy Grading

Proximal Policy Optimization with Mixed Distributed Training

1 code implementation • 15 Jul 2019 • Zhen-Yu Zhang, Xiangfeng Luo, Tong Liu, Shaorong Xie, Jianshu Wang, Wei Wang, Yang Li, Yan Peng

Instability and slowness are two main problems in deep reinforcement learning.

Construction of all-in-focus images assisted by depth sensing

no code implementations • 5 Jun 2018 • Hang Liu, Hengyu Li, Jun Luo, Shaorong Xie, Yu Sun

A graph-based segmentation algorithm is used to segment the depth map from the depth sensor, and the segmented regions are used to guide a focus algorithm to locate in-focus image blocks from among multi-focus source images to construct the reference all-in-focus image.