Chihiro Kado

RAWL: Retrieval-Augmented Smart Contract Repair using Weisfeiler-Lehman-Based Retrieval

Smart contracts are at risk of significant financial losses due to vulnerabilities in their program logic. To mitigate such damages, various automated program repair tools have been proposed. However, existing tools, especially those based on Large Language Models (LLMs), may introduce unintended changes to the origina...