New paper: Agentic Separation Logic Specification Synthesis https://arxiv.org/pdf/2605.27531 together with phenomenal co-conspirators Tarun Suresh @TarunSures41845 and David Korczynski @Davkorcz. We infer separation logic code contracts with LLMs, and validate them by fuzz testing.