Models and Datasets for ICLR'26 "Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration"