Research Ideas for Artificial Intelligence in Auditing: The Formalization of Audit and Workforce Supplementation | Synapse