Error Certificates for KV-Cache Eviction via Randomized Design
arXiv:2607.21475v2 Announce Type: replace-cross Abstract: Deterministic KV-cache eviction keeps the top-$k$ tokens under an importance score and deletes the rest.…
TLA$^{+}$-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation
arXiv:2607.23425v1 Announce Type: cross Abstract: Large language models increasingly write TLA$^{+}$ formal specifications from natural-language descriptions, but progress is hard…
A Characterization of the Orthocomplement of the Tangent Space of Semiparametric Markov Models
arXiv:2607.23439v1 Announce Type: cross Abstract: Graphical models are ubiquitous in social and empirical science as they are intuitive and easy…
Computing complexity
Post Content