Towards Artificial General Intelligence (AGI) in the Internet of Things (IoT): Opportunities and ChallengesFei Dou, Wen‐Zhan Song, Guoyu Lu et al.|arXiv (Cornell University)|2023Cited by 31
Performing integration-by-parts reductions using NeatIBP 1.1 + KiraZihao Wu, Yang Zhang, Yingxuan Xu et al.|Computer Physics Communications|2025Cited by 8
Kira 3: Integral reduction with efficient seeding and optimized equation selectionFabian Lange, Zihao Wu, Johann Usovitsch|Computer Physics Communications|2025Cited by 8