FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security (bibtex)

by Mojtaba Eshghie, Gabriele Morello, Matteo Lauretano, Alexandre Bartel and Martin Monperrus

Reference:

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

Bibtex Entry:

@techreport{2510.21401,
 title = {FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security},
 year = {2025},
 author = {Mojtaba Eshghie and Gabriele Morello and Matteo Lauretano and Alexandre Bartel and Martin Monperrus},
 url = {http://arxiv.org/pdf/2510.21401},
 number = {2510.21401},
 institution = {arXiv},
}