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 about 1 month ago
Let's Explore Step by Step published a model about 1 month ago
purewhite42/DExplorer-8B updated a collection about 1 month ago
Let's Explore Step by StepOrganizations
upvoted a collection about 1 month ago
published a
model about 1 month ago
updated a
collection about 1 month ago
updated a
model about 1 month ago
updated a
dataset about 1 month ago
published a
dataset about 1 month ago
upvoted a paper 2 months ago
upvoted 3
papers 3 months ago
updated a
dataset 5 months ago
updated 5
models 5 months ago
updated a
collection 5 months ago