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
Organizations
models
15
purewhite42/HAR_CoPA_Cycle2
Text Generation
•
Updated
•
8
purewhite42/HAR_CoPA_Cycle1
Text Generation
•
Updated
•
9
purewhite42/AR_CoPA_Cycle1
Text Generation
•
Updated
•
7
purewhite42/HWG_CoPA_Cycle1
Text Generation
•
Updated
•
7
purewhite42/WG_CoPA_Cycle1
Text Generation
•
Updated
•
10
purewhite42/rautoformalizer_gtra_deepseek
Text Generation
•
Updated
•
16
purewhite42/rautoformalizer_ra_deepseek
Text Generation
•
Updated
•
13
purewhite42/rautoformalizer_nora_deepseek
Text Generation
•
Updated
•
13
purewhite42/rautoformalizer_gtra_internlm
Text Generation
•
Updated
•
17
purewhite42/rautoformalizer_ra_internlm
Text Generation
•
Updated
•
14
datasets
5
purewhite42/CoPA_Dataset
Viewer
•
Updated
•
9.83M
•
82
purewhite42/formal_problem_solving_main
Viewer
•
Updated
•
1.09k
•
140
•
1
purewhite42/formal_math500
Viewer
•
Updated
•
387
•
49
purewhite42/putnambench_solving
Viewer
•
Updated
•
324
•
59
purewhite42/minif2f_solving
Viewer
•
Updated
•
375
•
85