subquadratic

Here are 4 public repositories matching this topic...

Swapnil-jain / threesum-derand

Deterministic 3SUM in O(n^1.995782) and APSP / (min,+) / all-edges Exact Triangle in O(n^2.995943), improving Alman–Vassilevska Williams: proofs, certificates, Lean 4 checks, and a list of closed ideas to avoid duplicate work

algorithms graph-algorithms matrix-multiplication theoretical-computer-science interval-arithmetic formal-verification apsp open-problems fast-matrix-multiplication 3sum complexity-theory mathlib lean4 min-plus-product all-pairs-shortest-paths fine-grained-complexity subquadratic exact-triangle derandomization

Updated Oct 11, 2026
Lean

sypherin / growing-memory

Star

Drop-in long-term memory for LLM apps — application-layer Memory Caching (Behrouz et al. 2026, arXiv:2602.24281). 14.6x fewer tokens at higher accuracy. 3-line API.

long-term-memory rag titans memory-caching kv-cache llm long-context local-llm retrieval-augmented-generation chatbot-memory llm-memory ai-memory context-compression subquadratic on-prem-ai

Updated Jun 8, 2026
Python

KaushikSiva / crossexam

Star

Your tests passed. Your software failed. CrossExam finds broken code your evals accept, then proves stronger tests on unseen defects.

python meta mutation-testing hackathon ai-evaluation llm-evaluation coding-agents subquadratic

Updated Nov 8, 2026
Python

KarthikSubramanian07 / Frankenstein

Star

Lost games, rebuilt and proven. AI agents bring a game's dead source code back from the cartridge, and a compiler checks every byte. Doom is our first patient.

Updated Nov 11, 2026
Assembly

Add this topic to your repo

To associate your repository with the subquadratic topic, visit your repo's landing page and select "manage topics."

Learn more