3 / papers
Guarantees, specifications, and the gap between a proof and a deployed system.
Formal verification of neural networks has matured into a real research area. Tools such as alpha-beta-CROWN, ERAN, and Marabou now reliably verify L-infinity robustness properties of ReLU networks at the ResNet scale, with the annual…
The detection of AI-generated text under adversarial transformation — particularly paraphrasing — is widely characterised as an unsolved problem. The reality is more structured. Two technically distinct approaches, post-hoc detection and…
When multiple large-language-model agents negotiate, communicate, or compete, do they spontaneously develop covert signalling — channels of communication that human observers cannot decode? Recent work has established that such behaviour…
