Xinhao Zheng
~Xinhao_Zheng2
5
论文总数
2.5
年均投稿
平均评分
接收情况4/5
会议分布
NeurIPS
2
ICLR
2
ICML
1
发表论文 (5 篇)
20253 篇
3
Towards Attributions of Input Variables in a Coalition
ICML 2025Poster
4
Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
NeurIPS 2025Poster
5
Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach
ICLR 2025Spotlight