Validating Smart Contracts Using GPT Assistant.

Xianhao Zhang, Zhiyuan Wei, Jing Sun, Zijian Zhang, Zixiao Zhao

Browse the full COMPSAC paper archive.