Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture | IEEE Journals & Magazine | IEEE Xplore