13:38[OOPSLA'25] Automatically Verifying Replication-aware LinearizabilityACM SIGPLAN8 viewsView & Download
3:4295% Accuracy Isn't Enough: Why Multi-Step AI Agents FailLens - Kubernetes and LLM observability84 viewsView & Download
8:26SOVP Technical Manifest - Deterministic Infrastructure Validation for AI SystemsLitzki Systems - Souvereign Validation Standard8 viewsView & Download
21:05Solve the Loop: Attractor Models for Language and Reasoning (May 2026)AI Paper Slop53 viewsView & Download
23:19LoopVLA: Learning Representational Sufficiency in Recurrent Vision-Language-Action ModelsThe Times of AI33 viewsView & Download
2:24LLM Randomness Explained: Why Token Prediction Causes Non-Reproducible Test FailuresApplitools: AI-Powered End-to-End Testing13 viewsView & Download
18:05[PLDI24] Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into(…)ACM SIGPLAN107 viewsView & Download
21:03LAWS: Learning from Actual Workloads Symbolically -- A Self-Certifying Parametrized Cache ArchitectuAI Paper Slop28 viewsView & Download
18:32[POPL'24] Mostly Automated Verification of Liveness Properties for Distributed Protocols w...ACM SIGPLAN162 viewsView & Download