Rongge Xu

According to our database, Rongge Xu authored at least 3 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories).

Rongge Xu, Hui Dai, Yiming Fu, Jiedong Jiang, Tianjiao Nie, Hongwei Wang, Junkai Wang, Holiverse Yang, Jiatong Yang, Zhi-Hao Zhang

CoRR, December, 2025

2022

Efficient surface defect detection using self-supervised learning strategy and segmentation network.

Rongge Xu, Ruiyang Hao, Biqing Huang

Adv. Eng. Informatics, 2022

2018

Program Recommendation Algorithm Based on Tag Association Model.

Fulian Yin, Xiaowei Liu, Congcong Zhang, Rongge Xu

Proceedings of the Services Computing - SCC 2018, 2018