FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security. - Mojtaba Eshghie; Gabriele Morello; Matteo Lauretano; Alexandre Bartel; Martin Monperrus (CoRR, 2025)