Chenyang Mao

According to our database, Chenyang Mao authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

Floating-Point Embedding: Enhancing the Mathematical Comprehension of Large Language Models.

Xiaoxiao Jin, Chenyang Mao, Dengfeng Yue, Tuo Leng

Symmetry, April, 2024

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

Investigation and Analysis of Corneal Morphology in Young Divers.

Chenyang Mao, Xin Wang, Heng Li, Haojin Li, Dan Zhou, Jianwen Chen, Honglun Dong, Yan Hu, Jiang Liu

Proceedings of the Applied Intelligence - First International Conference, 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