Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2510.21401
Cited By
FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
24 October 2025
Mojtaba Eshghie
Gabriele Morello
Matteo Lauretano
Alexandre Bartel
Martin Monperrus
Re-assign community
ArXiv (abs)
PDF
HTML
Github (1★)
Papers citing
"FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security"
0 / 0 papers shown
No papers found
