Models and Datasets for ICLR'26 "Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration"
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 collection 6 days ago
Let's Explore Step by Step published
a model 6 days ago
purewhite42/DExplorer-8B updated
a collection
6 days ago
Let's Explore Step by Step Organizations
models 16
purewhite42/DExplorer-8B
Text Generation • Updated
• 10
purewhite42/HAR_CoPA_Cycle2
Text Generation • Updated
• 1
purewhite42/HAR_CoPA_Cycle1
Text Generation • Updated
• 2
purewhite42/AR_CoPA_Cycle1
Text Generation • Updated
• 1
purewhite42/HWG_CoPA_Cycle1
Text Generation • Updated
• 2
purewhite42/WG_CoPA_Cycle1
Text Generation • Updated
• 3
purewhite42/rautoformalizer_gtra_deepseek
Text Generation • Updated
• 1
purewhite42/rautoformalizer_ra_deepseek
Text Generation • Updated
• 1
purewhite42/rautoformalizer_nora_deepseek
Text Generation • Updated
purewhite42/rautoformalizer_gtra_internlm
Text Generation • Updated
• 2
datasets 6
purewhite42/DExploration-40K
Viewer
• Updated
• 302k • 17
purewhite42/CoPA_Dataset
Viewer
• Updated
• 9.83M • 58
purewhite42/formal_problem_solving_main
Viewer
• Updated
• 1.09k • 27 • 1
purewhite42/formal_math500
Viewer
• Updated
• 387 • 49
purewhite42/putnambench_solving
Viewer
• Updated
• 324 • 42
purewhite42/minif2f_solving
Viewer
• Updated
• 375 • 185