All pull requests

Pull requests

• feat(Algorithms/WordRAM): add in-place randomized quickselect

  #1339·orbitingflea opened Oct 27, 2026Collaborator·

  ·
  1

• doc(abstracts): draft interpolation-scale SAT counting contracts

  #1338·SamuelSchlesinger opened Oct 27, 2026Collaborator·

  ·
  3

• feat(planar-SAT): prove parsimonious positive exact-one hardness

  #1282·edemaine opened Oct 27, 2026Collaborator·

  ·

• feat(geometry): certify planar positive exact-one clause replacements

  #1281·edemaine opened Oct 27, 2026Collaborator·

  ·

• feat(exact-one-SAT): prove parsimonious positive SAT completeness

  #1279·edemaine opened Oct 27, 2026Collaborator·

  ·
  1

• feat(turing): add native time-block trace prerequisites

  #1228·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·
  1

• fix(Tactic): keep plain conditional recipes ahead of generic search

  #1225·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·
  4

• feat(Crypto/ElGamal): general-cipher Hashed ElGamal IND-CPA security (Theorem 11.5)

  #1223·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·
  14

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

  #1188·barni120400 opened Oct 26, 2026·

  ·
  2

• refactor(probability): simplify conditioning with side information

  #1159·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·

• refactor(circuits): combine mass-production overhead estimates

  #1158·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·

• refactor(probability): derive coupling from data processing

  #1157·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·

• refactor(crypto): simplify Even-Mansour lazy coupling

  #1156·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·

• refactor(matrix): read diagonal inverses from block equations

  #1154·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·

• refactor(circuits): simplify reconstruction cost arithmetic

  #1153·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·

• refactor(crypto): share averaging across Feistel hybrid proofs

  #1152·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·

• refactor(crypto): reconstruct one-time oracle state from query logs

  #1151·SamuelSchlesinger opened Oct 26, 2026Collaborator·

  ·

• feat(crypto): unify the base reduction with an exact advantage identity

  #1118·karnseth opened Oct 25, 2026Collaborator·

  ·
  21

• feat(Algorithms/WordRAM): Dijkstra's algorithm in O((m + 1) log n) time with a formal abstract

  #1098·orbitingflea opened Oct 25, 2026Collaborator·

  ·
  1

• refactor(Computability/WordRAM): scope the word-RAM statement syntax and ram_eval

  #1091·orbitingflea opened Oct 25, 2026Collaborator·

  ·
  3