Models and Datasets for NeurIPS25 "Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization"
Qi Liu (SJTU & SII)
purewhite42
AI & ML interests
Machine Learning, Formal Mathematics
CS PhD Student @ ReThinklab, SJTU and SII (an institution dedicated to innovation in education and research in the field of AI)
Recent Activity
upvoted
a
paper
4 days ago
LLaDA2.0: Scaling Up Diffusion Language Models to 100B
upvoted
a
paper
4 days ago
Kling-Omni Technical Report
updated
a dataset
about 2 months ago
purewhite42/CoPA_Dataset