XAST: Explainable AST-Transformer for Smart Contract Vulnerability Detection. - Harshith Sai Veeraiah; Syed Badruddoja; Ram Dantu (TPS-ISA, 2025)