TY  - RPRT
TI  - Neuroforger: certified violation witnesses for smart contracts verification via LLMs
AU  - Massimo Bartoletti
AU  - Enrico Lipparini
PY  - 2026
UR  - https://arxiv.org/abs/2605.31389
ID  - 2605.31389
ER  -