My work explores rigorous mathematical structures for AI reasoning and symbolic computation. I focus on applied category theory, particularly ontologies and knowledge graphs, in the context of generative AI and natural language processing (NLP), alongside work in computational number theory.
Contact information:
sumin.leem (at) ucalgary.ca
sumin.leem0 (at) gmail.com (permanent email)