3 projects
winnex-madhava
Deterministic vector search with Cauchy-Schwarz bound pruning + exact-L2 post-filter (BIGANN L2 verified) — provable completeness for RAG indexing and regulated retrieval.
winnex-madhava-sec
Mathematically Guaranteed Agent Security Framework — Cauchy-Schwarz bound pruning for AI agent prompt-injection detection, attack amplification, and multi-embedder semantic safety. PiPrime navigation + bounds + SafetyEnsemble.
madhava-l2
Deterministic vector search with Cauchy-Schwarz bound pruning + exact-L2 post-filter (BIGANN L2 verified)
