TY  - RPRT
TI  - SmartInv: Multimodal Learning for Smart Contract Invariant Inference
AU  - Sally Junsong Wang
AU  - Kexin Pei
AU  - Junfeng Yang
PY  - 2024
UR  - https://arxiv.org/abs/2411.09217
ID  - 2411.09217
ER  -