Qi Liu
~Qi_Liu17
3
论文总数
3.0
年均投稿
平均评分
接收情况2/3
会议分布
ICLR
2
NeurIPS
1
发表论文 (3 篇)
20253 篇
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
4
TerDiT: Ternary Diffusion Models with Transformers
ICLR 2025withdrawn