Commit History

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

    Verified signature
    90105f6

  1. Upload murmel trained model 20260615-110858-qwen3-0p6b-mathlib-d706b80

    Verified signature
    2a3695b

  1. Upload murmel trained model 20260523-060359-qwen3-0p6b-mathlib-d8de6b

    Verified signature
    d3d492f

  1. Upload murmel trained model 20260510-130707-qwen3-0p6b-mathlib-d9694e

    Verified signature
    5d2db57

  1. Upload murmel trained model 20260428-144918-qwen3-0p6b-mathlib-900c9b

    Verified signature
    ae98ec1

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

    Verified signature
    876a3d0