Nov 2 4 days ago

1. 01:40

   feat(stiefel): initial release of deepseek-v4-distill-pmtp (1,740 theorems, Stiefel manifold <= 1e-15)

   Polydim-Einsof
   Verified signature

   636ba21
2. 01:40

   initial commit

   Polydim-Einsof
   Verified signature

   9fb41ac