@misc{indiciaee6e7d6cbee64,
  title = {SmartInv: Multimodal Learning for Smart Contract Invariant Inference},
  author = {Sally Junsong Wang and Kexin Pei and Junfeng Yang},
  year = {2024},
  url = {https://arxiv.org/abs/2411.09217},
  note = {Source identifier: 2411.09217}
}