4pdadmin pushed to main at reaperdoesntknow/SMOLM2Prover

4pdadmin
Sat, 09 May 2026 23:42:32 +0800

157050b8fa156599e77d54eb3a5f7315b4254dbd 初始化项目，由ModelHub XC社区提供模型