Towards Cognitive AI Systems: Workload and Characterization of Neuro-Symbolic AIZishen WanChe-Kai Liuet al.2024ISPASS 2024