@inproceedings {smartinv:sp24,
        author = {Sally Junsong Wang and Kexin Pei and Junfeng Yang},
        title = {{SmartInv}: Multimodal Learning for Smart Contract Invariant Inference},
        year = {2024},
        booktitle = {Proceedings of the 45th IEEE Symposium on Security and Privacy (S\&P '24)},
}