Towards Automated Regulatory Compliance Verification in Financial Auditing with Large Language Models