Automating Financial Audits with Random Forests and Real-Time Stream Processing: A Case Study on Efficiency and Risk Detection. IJCAI. 2025;49(16). doi:10.31449/inf.v49i16.7805