Xinling Jin

According to our database, Xinling Jin authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

FormaRL: Enhancing Autoformalization with no Labeled Data.

Yanxing Huang, Xinling Jin, Sijie Liang, Peng Li, Yang Liu

CoRR, August, 2025

2024

A Novel Music Recommendation System Based On Individual Emotion.

Dapeng Wu, Zhengmiao Huang, Ziqi Xi, Xinling Jin, Yi Yan, Xiaoliang Gong

Proceedings of the 2024 7th Artificial Intelligence and Cloud Computing Conference, 2024