TY - RPRT TI - Efficient Avoidance of Vulnerabilities in Auto-completed Smart Contract Code Using Vulnerability-constrained Decoding AU - André Storhaug AU - Jingyue Li AU - Tianyuan Hu PY - 2023 UR - https://arxiv.org/abs/2309.09826 ID - 2309.09826 ER -