Chenyang Mao

According to our database, Chenyang Mao authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.

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

CoRR, 2023

2022

TMIB: A Traceable Multi-user Image Retrieval Scheme based on Blockchain.

Chenyang Mao, Zhonghua Shen, Yong Liu, Qian Meng, Yuying Liu, Jiamin Hu

Proceedings of the 21st International Symposium on Communications and Information Technologies, 2022