Let's Explore Step by Step
Collection
Models and Datasets for ICLR'26 "Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration" • 2 items • Updated
• 1
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 5 days ago
Let's Explore Step by Step published
a model 5 days ago
purewhite42/DExplorer-8B updated
a collection
5 days ago
Let's Explore Step by Step Organizations
upvoted a collection 5 days ago
published a model 5 days ago
updated a collection 5 days ago
updated a model 5 days ago
updated a dataset 5 days ago
published a dataset 5 days ago
upvoted a paper about 1 month ago
upvoted a paper about 2 months ago
upvoted 2 papers 2 months ago
updated a dataset 4 months ago
updated 5 models 4 months ago
updated a collection 4 months ago