Paper
Hub
搜索
Toggle language
Xinling Jin
~Xinling_Jin1
1
论文总数
1.0
年均投稿
6.3
平均评分
接收情况
1
/
1
会议分布
COLM
1
发表论文 (1 篇)
2025
1 篇
6.3
4
FormaRL: Enhancing Autoformalization with no Labeled Data
COLM 2025
Poster
合作者 (5)
FL
Fuwen Luo
1 篇
PL
Peng Li
1 篇
SL
Sijie Liang
1 篇
YL
Yang Liu
1 篇
YH
Yanxing Huang
1 篇