Paper
Hub
搜索
Toggle language
Qinxiang Cao
~Qinxiang_Cao1
2
论文总数
2.0
年均投稿
6.6
平均评分
接收情况
2
/
2
会议分布
NeurIPS
1
ICLR
1
发表论文 (2 篇)
2025
2 篇
6.0
4
Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
NeurIPS 2025
Poster
7.2
5
Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach
ICLR 2025
Spotlight
合作者 (5)
JY
Junchi Yan
2 篇
QL
Qi Liu
2 篇
XZ
Xinhao Zheng
2 篇
RX
Renqiu Xia
1 篇
XL
Xudong Lu
1 篇