Commit History

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

    Verified signature
    71bc8c6
  2. Upload murmel trained model 20260718-164942-qwen3-0p6b-mathlib-81a5d25

    Verified signature
    90105f6

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

    Verified signature
    2480f9f
  2. Upload murmel trained model 20260615-110858-qwen3-0p6b-mathlib-d706b80

    Verified signature
    2a3695b

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

    Verified signature
    d2bba4e
  2. Upload murmel trained model 20260523-060359-qwen3-0p6b-mathlib-d8de6b

    Verified signature
    d3d492f

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

    Verified signature
    4308931
  2. Upload murmel trained model 20260510-130707-qwen3-0p6b-mathlib-d9694e

    Verified signature
    5d2db57

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

    Verified signature
    8eb6d8b
  2. Upload murmel trained model 20260428-144918-qwen3-0p6b-mathlib-900c9b

    Verified signature
    ae98ec1

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

    Verified signature
    8fa0852
  2. Upload murmel trained model 20260423-205542-qwen3-0p6b-mathlib-v1

    Verified signature
    876a3d0
  3. initial commit

    Verified signature
    ae774ea