About conjecture model

[zhouzihao501]

Hi,

Thanks for your great work! The stp framwork is interesting!
Do you plan to opensource your conjecture model or dataset recently?