LLM-based Typed Hyperresolution for Commonsense Reasoning with Knowledge Bases - Toroghi, Armin; Pesaranghader, Ali; Sadhu, Tanmana; Sanner, Scott (International Conference on Learning Representations, 2025)