Pinned Loading

1. ZIB-IOL/polytof ZIB-IOL/polytof Public

   Phase-polynomial tensor decomposition (in 𝔽₂) for non-Clifford gate minimization in quantum circuits.

   C++ 7 1

2. cayleypy-cube cayleypy-cube Public

   Learned diffusion heuristics with GPU-accelerated search for short paths in large graphs.

   Python 72 8

3. lita lita Public

   Local improvements to trilinear aggregation.

   C++ 7 1

4. flip-cpd flip-cpd Public

   Flip-graph search (in 𝔽₂ or 𝔽₃) for low-rank CP decompositions, with a focus on structured matrix multiplication.

   C++ 7

5. ZIB-IOL/lemmata ZIB-IOL/lemmata Public

   Lemmata contributions

   Lean 1 1

6. bcf10 bcf10 Public

   Supplementary code for Boolean cubic forms in ten variables.

   C++