Chenyang Mao

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Locality Sensitive Hashing

Similarity Metric

Automated Reasoning

Prime Implicants

Top Venues

Publications

Xiaoxiao Jin, Chenyang Mao, Dengfeng Yue, Tuo Leng
Floating-Point Embedding: Enhancing the Mathematical Comprehension of Large Language Models. Symmetry 16 (4) (2024)
Chenyang Mao, Xin Wang, Heng Li, Haojin Li, Dan Zhou, Jianwen Chen, Honglun Dong, Yan Hu, Jiang Liu
Investigation and Analysis of Corneal Morphology in Young Divers. ICAI (1) (2023)
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
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. CoRR (2023)
Chenyang Mao, Zhonghua Shen, Yong Liu, Qian Meng, Yuying Liu, Jiamin Hu
TMIB: A Traceable Multi-user Image Retrieval Scheme based on Blockchain. ISCIT (2022)