All pull requests

Pull requests

• feat(ExactTriangle): connect prepared matrices to finite adjacency

  #1616·edemaine opened Oct 29, 2026Collaborator·

  ·
  3

• feat(Schonhage): execute native queried thin matrix products

  #1615·edemaine opened Oct 29, 2026Collaborator·

  ·
  5

• feat(circuit): Braverman, polylogarithmic independence fools AC0 (#895 M3, PR 3)

  #1614·karnseth opened Oct 29, 2026Collaborator·

  ·
  3

• feat(wordram): prepare ExactTriangle instances from initialized input

  #1611·edemaine opened Oct 29, 2026Collaborator·

  ·
  5

• refactor(GenericRAM): migrate BigO Option/Pi/Sum and GenericRAM simulation to plain computability (#862)

  #1610·SamuelSchlesinger opened Oct 29, 2026Collaborator·Queued
  5

• refactor(Foundations): consolidate Nat.log linear bound and Rat.divInt sign lemmas (#939)

  #1607·SamuelSchlesinger opened Oct 29, 2026Collaborator·Queued
  2

• refactor(Machines): expose API lemmas and move generic decoder facts (#939)

  #1606·SamuelSchlesinger opened Oct 29, 2026Collaborator·Queued
  5

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

  #1576·edemaine opened Oct 29, 2026Collaborator·

  ·
  5

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

  #1570·edemaine opened Oct 29, 2026Collaborator·

  ·
  1

  5

• feat(wordram): execute sparse pruned tensor queries

  #1562·edemaine opened Oct 29, 2026Collaborator·

  ·
  11

• refactor(wordram): reuse list blocks in fusion-tree representation

  #1557·edemaine opened Oct 28, 2026Collaborator·

  ·
  4

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

  #1554·edemaine opened Oct 28, 2026Collaborator·

  ·
  1

  18

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

  #1552·edemaine opened Oct 28, 2026Collaborator·

  ·
  4

• feat(wordram): complete native Chan–He preprocessing

  #1537·edemaine opened Oct 28, 2026Collaborator·

  ·
  13

• feat(wordram): prepare and encode all shared matrix bands

  #1536·edemaine opened Oct 28, 2026Collaborator·

  ·
  1

  14

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

  #1535·edemaine opened Oct 28, 2026Collaborator·

  ·
  9

• feat(wordram): implement complete native distinct-position frontend

  #1527·edemaine opened Oct 28, 2026Collaborator·

  ·
  19

• feat(wordram): implement shared tensor encodings

  #1520·edemaine opened Oct 28, 2026Collaborator·

  ·
  25

• feat(wordram): construct native Chan–He node outputs

  #1508·edemaine opened Oct 28, 2026Collaborator·

  ·
  22

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

  #1506·edemaine opened Oct 28, 2026Collaborator·

  ·
  1

  13

• feat(wordram): build prime tables and collision minimum searches

  #1497·edemaine opened Oct 28, 2026Collaborator·

  ·
  1

  16

• feat(Arithmetic): Nisan-Wigderson lower bounds for depth-three circuits

  #1188·barni120400 opened Oct 26, 2026·

  ·
  4