DeFiAligner: Leveraging Symbolic Analysis and Large Language Models for Inconsistency Detection in Decentralized Finance.

Rundong Gan, Liyi Zhou, Le Wang, Kaihua Qin, Xiaodong Lin

Browse the full AFT paper archive.