Autoformalizing Memory Specifications with Agents. - Jan Ole Ernst; Dmitri Saberi; Derek Christ; Thomas Zimmermann; Rajath Salegame; Suhaas M. Bhat; Stanislav Levental; Thomas Dybdahl Ahle; Matthias Jung 001 (CoRR, 2026)