paper-with-me

홈 › Papers

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

2026-04-12 · Gregory Magarshak arxiv

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.

📄 PDF Abstract BibTeX arXiv:2605.04069

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

AI Poincaré 2.0: Machine Learning Conservation Laws from Differential Equations

2022-03-23 · Ziming Liu, Varun Madhavan, Max Tegmark

We present a machine learning algorithm that discovers conservation laws from differential equations, both numerically (parametrized as neural networks) and symbolically, ensuring their functional independence (a non-lin…

BIG-bench Machine Learning

Prism: Symbolic Superoptimization of Tensor Programs

2026-04-16 · Mengdi Wu, Xiaoyu Jiang, Oded Padon, Zhihao Jia arxiv

This paper presents Prism, the first symbolic superoptimizer for tensor programs. The key idea is sGraph, a symbolic, hierarchical representation that compactly encodes large classes of tensor programs by symbolically re…

Graph Generation

Evolving Form and Function: Dual-Objective Optimization in Neural Symbolic Regression Networks

2025-02-24 · Amanda Bertschinger, James Bagrow, Joshua Bongard

Data increasingly abounds, but distilling their underlying relationships down to something interpretable remains challenging. One approach is genetic programming, which `symbolically regresses' a data set down into an eq…

Evolutionary AlgorithmsFormregressionSymbolic Regression

Towards a Certifying Grounder

2026-07-23 · Daimy Van Caudenberg, Alexander Ek, Carlos Cantero, Bart Bogaerts arxiv

Grounding, the translation of high-level theories into equivalent quantifier-free formulas, is a crucial step in declarative solving, yet it has so far escaped the proof-logging revolution. When this grounding step is no…

DISCOVER: Deep identification of symbolically concise open-form PDEs via enhanced reinforcement-learning

2022-10-04 · Mengge Du, Yuntian Chen, Dongxiao Zhang

The working mechanisms of complex natural systems tend to abide by concise and profound partial differential equations (PDEs). Methods that directly mine equations from data are called PDE discovery, which reveals consis…

Deep Reinforcement LearningFormModel-based Reinforcement Learningreinforcement-learning+2