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)
Organizations
models 16
purewhite42/DExplorer-8B
Text Generation • Updated • 7
purewhite42/HAR_CoPA_Cycle2
Text Generation • Updated • 5
purewhite42/HAR_CoPA_Cycle1
Text Generation • Updated • 6
purewhite42/AR_CoPA_Cycle1
Text Generation • Updated • 14
purewhite42/HWG_CoPA_Cycle1
Text Generation • Updated • 4
purewhite42/WG_CoPA_Cycle1
Text Generation • Updated • 8
purewhite42/rautoformalizer_gtra_deepseek
Text Generation • Updated • 8
purewhite42/rautoformalizer_ra_deepseek
Text Generation • Updated • 7
purewhite42/rautoformalizer_nora_deepseek
Text Generation • Updated • 9
purewhite42/rautoformalizer_gtra_internlm
Text Generation • Updated • 5
datasets 6
purewhite42/DExploration-40K
Viewer • Updated • 302k • 21
purewhite42/CoPA_Dataset
Viewer • Updated • 9.83M • 63
purewhite42/formal_problem_solving_main
Viewer • Updated • 1.09k • 30 • 2
purewhite42/formal_math500
Viewer • Updated • 387 • 24
purewhite42/putnambench_solving
Viewer • Updated • 324 • 34 • 1
purewhite42/minif2f_solving
Viewer • Updated • 375 • 32