Issues

• perf(wordram): bring Chan–He parameter proof under default heartbeats

  cslib-community/complexitylib#1583 · Filter by author SamuelSchlesinger opened on Oct 29, 2026

• feat(wordram): compose native queried thin-matrix products

  cslib-community/complexitylib#1581 · Filter by author edemaine opened on Oct 29, 2026
  3

  

• Decision-tree substitution with compositional query-cost bounds

  cslib-community/complexitylib#1573 · Filter by author SamuelSchlesinger opened on Oct 29, 2026
  1

• Strengthen native time hierarchies with clock and padding arguments

  cslib-community/complexitylib#1572 · Filter by author SamuelSchlesinger opened on Oct 29, 2026
  3

• feat(circuit): XOR convolution via reusable image sparsification

  cslib-community/complexitylib#1571 · Filter by author SamuelSchlesinger opened on Oct 29, 2026
  2

  

• feat(wordram): route and group wanted thin-product queries

  cslib-community/complexitylib#1561 · Filter by author edemaine opened on Oct 29, 2026
  10

  

• feat(3sum): compose native preprocessing and convolution hosts

  cslib-community/complexitylib#1559 · Filter by author edemaine opened on Oct 28, 2026
  9

  

• refactor(wordram): consolidate square-root kernels and assess power specializations

  cslib-community/complexitylib#1553 · Filter by author edemaine opened on Oct 28, 2026

• refactor(exact-triangle): clarify reusable finite APIs and placement

  cslib-community/complexitylib#1546 · Filter by author edemaine opened on Oct 28, 2026
  6

  

• refactor(finset): use order-embedding names in OrderGlue

  cslib-community/complexitylib#1545 · Filter by author edemaine opened on Oct 28, 2026
  5

  

• refactor(wordram): place signed-fit and counting frame APIs with their models

  cslib-community/complexitylib#1544 · Filter by author edemaine opened on Oct 28, 2026
  2

  

• Research: can the √log n in the subexponential #k-SAT exponent be improved?

  cslib-community/complexitylib#1540 · Filter by author SamuelSchlesinger opened on Oct 28, 2026

• Circuit lower bounds from refuting ETH: E^NP ⊄ SIZE(O(n)) and Corollary 1.4

  cslib-community/complexitylib#1539 · Filter by author SamuelSchlesinger opened on Oct 28, 2026

• Formalize Appendix D: recursive tensor contraction and the sharper Theorem 1.1 bound for #k-SAT

  cslib-community/complexitylib#1538 · Filter by author SamuelSchlesinger opened on Oct 28, 2026

• feat(wordram): prepare native ET residue chunks and instance matrices

  cslib-community/complexitylib#1532 · Filter by author edemaine opened on Oct 28, 2026
  11

  

• feat(wordram): execute sparse pruned tensor queries

  cslib-community/complexitylib#1526 · Filter by author edemaine opened on Oct 28, 2026
  13

  

• feat(3sum): implement the native convolution reduction host

  cslib-community/complexitylib#1524 · Filter by author edemaine opened on Oct 28, 2026
  5

  

• feat(wordram): prepare thin-matrix bands and compose native encoders

  cslib-community/complexitylib#1523 · Filter by author edemaine opened on Oct 28, 2026
  10

  

• design(Encodings): replace Decoder by a polynomial-time codeword recognizer?

  cslib-community/complexitylib#1515 · Filter by author chris-ai1 opened on Oct 28, 2026

• feat(wordram): execute bounded Chan–He recursion natively

  cslib-community/complexitylib#1512 · Filter by author edemaine opened on Oct 28, 2026
  6

  

• refactor(wordram): reuse Block.HoldsList in fusion-tree memory predicates

  cslib-community/complexitylib#1509 · Filter by author edemaine opened on Oct 28, 2026
  3

  

• feat(wordram): compute the exact Chan–He two-prime modulus natively

  cslib-community/complexitylib#1501 · Filter by author edemaine opened on Oct 28, 2026
  5

  

• feat(wordRAM): implement shared tensor encodings with charged native programs

  cslib-community/complexitylib#1493 · Filter by author edemaine opened on Oct 28, 2026
  10

  

• feat(wordram): enumerate the exact distinct-position 3SUM frontend natively

  cslib-community/complexitylib#1482 · Filter by author edemaine opened on Oct 28, 2026
  6

  

• feat(wordram): extract Chan–He heavy sets and pack one node natively

  cslib-community/complexitylib#1481 · Filter by author edemaine opened on Oct 28, 2026
  10