Protocol Typing, Communication Safety, Pi Calculus, Concurrent Types
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.orgยท1d
DecipherGuard: Understanding and Deciphering Jailbreak Prompts for a Safer Deployment of Intelligent Software Systems
arxiv.orgยท1d
Compressed Permutation Oracles
eprint.iacr.orgยท1d
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.orgยท1d
Velocity Trapping in the Lifted Totally Asymmetric Simple Exclusion Process and the True Self-Avoiding Random Walk
journals.aps.orgยท17h
Loading...Loading more...