about
LAWS: A new transform operation turning LLM inference into cheap cache lookups (arxiv.org)
7 points by EGreg 150 days ago | hide | past | pdf | 2 comments on HN

In plain words: It watches real inputs and grows a library of experts, each covering one input region with a proven error limit. Unlike a fixed cache or expert set, coverage only grows and total error stays within training error plus a fixed margin, verified without correct answers.

Abstract · LAWS: Learning from Actual Workloads Symbolically -- A Self-Certifying Parametrized Cache Architecture for Neural Inference, Robotics, and Edge Deployment

We introduce LAWS (Learning from Actual Workloads Symbolically), a self-certifying inference caching architecture that builds a growing library of certified expert functions from deployment observations. Each expert covers a region of input space defined by a node in the Probabilistic Language Trie (PLT) of the base model and carries a formal error bound holding uniformly over all inputs. The central result is a self-certification theorem: for any input x, the LAWS approximation error is bounded by epsilon_fit + 2*Lambda(W)*C_E, where Lambda(W) is the model Lipschitz constant, C_E is the maximum embedding diameter, and epsilon_fit is the expert training error -- all checkable at deployment time without ground truth. We prove that LAWS generalizes both Mixture-of-Experts and KV prefix caching as special cases and is strictly more expressive than any fixed-K MoE or finite cache. Further results include a monotone hit rate theorem (any-match routing ensures coverage only increases), an expert library growth rate of O(2^H log N) where H is workload entropy, a fleet learning convergence theorem with Omega(K) speedup for K-unit fleets, and an over-the-air update bandwidth bound. We conjecture that LAWS is acquisition-optimal among stationary online caching algorithms and that the effective Lipschitz constant on the training distribution grows polynomially rather than exponentially in depth. Applications are developed for LLM inference, robotic control, and multi-agent edge deployment.

Gregory Magarshak
arXiv:2605.04069 · cs.LG, cs.AI, cs.IT, cs.NE · submitted Apr 12, 2026
abstract · pdf · html · 45 pages. Companion paper to arXiv:2604.06228 (Probabilistic Language Tries)

add comment on HN

Is there any codebase associated with this that we can check and tinker with? or is this just a promo thing?