@misc{indiciae7e3e1d41673e, title = {Efficient Avoidance of Vulnerabilities in Auto-completed Smart Contract Code Using Vulnerability-constrained Decoding}, author = {André Storhaug and Jingyue Li and Tianyuan Hu}, year = {2023}, url = {https://arxiv.org/abs/2309.09826}, note = {Source identifier: 2309.09826} }