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
about 19 hours ago
GDPO: Group reward-Decoupled Normalization Policy Optimization for Multi-reward RL Optimization
upvoted
a
paper
21 days ago
LLaDA2.0: Scaling Up Diffusion Language Models to 100B
upvoted
a
paper
21 days ago
Kling-Omni Technical Report
Organizations
models
15
purewhite42/HAR_CoPA_Cycle2
Text Generation
•
Updated
•
4
purewhite42/HAR_CoPA_Cycle1
Text Generation
•
Updated
•
1
purewhite42/AR_CoPA_Cycle1
Text Generation
•
Updated
•
8
purewhite42/HWG_CoPA_Cycle1
Text Generation
•
Updated
•
1
purewhite42/WG_CoPA_Cycle1
Text Generation
•
Updated
•
3
purewhite42/rautoformalizer_gtra_deepseek
Text Generation
•
Updated
•
5
purewhite42/rautoformalizer_ra_deepseek
Text Generation
•
Updated
•
4
purewhite42/rautoformalizer_nora_deepseek
Text Generation
•
Updated
•
8
purewhite42/rautoformalizer_gtra_internlm
Text Generation
•
Updated
•
5
purewhite42/rautoformalizer_ra_internlm
Text Generation
•
Updated
•
5