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
updated
a dataset
1 day ago
purewhite42/CoPA_Dataset
updated
a model
1 day ago
purewhite42/HAR_CoPA_Cycle2
updated
a model
1 day ago
purewhite42/HAR_CoPA_Cycle1
Organizations
models
15
purewhite42/HAR_CoPA_Cycle2
Text Generation
•
Updated
•
33
purewhite42/HAR_CoPA_Cycle1
Text Generation
•
Updated
•
77
purewhite42/AR_CoPA_Cycle1
Text Generation
•
Updated
•
51
purewhite42/HWG_CoPA_Cycle1
Text Generation
•
Updated
•
21
purewhite42/WG_CoPA_Cycle1
Text Generation
•
Updated
•
49
purewhite42/rautoformalizer_gtra_deepseek
Text Generation
•
Updated
•
2
purewhite42/rautoformalizer_ra_deepseek
Text Generation
•
Updated
•
3
purewhite42/rautoformalizer_nora_deepseek
Text Generation
•
Updated
purewhite42/rautoformalizer_gtra_internlm
Text Generation
•
Updated
purewhite42/rautoformalizer_ra_internlm
Text Generation
•
Updated
•
1