LLM-Based Tooling for Smart Contract Auditing | IEEE Conference Publication | IEEE Xplore