Commit History

  1. Upload murmel trained model 20260718-164942-qwen3-0p6b-mathlib-81a5d25

    Verified signature
    90105f6

  1. Upload murmel trained model 20260423-205542-qwen3-0p6b-mathlib-v1

    Verified signature
    876a3d0