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

DeFiAligner is an end-to-end system to identify inconsistencies between documentation and smart contracts in DeFi, achieving recall rates of 92% and 90% on two public datasets respectively.