Never met the guy but his work was one of my biggest inspirations in computing.
I feel it's appropriate to link a blog post of mine from 2018. It's a quick recap of Lenat works on the trajectory that brought him towards Cyc, with links to the papers.