AI as your backbone for efficient process mining