@misc{david2023still,
  title={Do you still need a manual smart contract audit?},
  author={Isaac David and Liyi Zhou and Kaihua Qin and Dawn Song and Lorenzo Cavallaro and Arthur Gervais},
  year={2023},
  eprint={2306.12338},
  archivePrefix={arXiv},
  primaryClass={cs.CR},
  url={https://arxiv.org/abs/2306.12338}
}