My research interest is on minds, artificial general intelligence, the nature of reality, and how to benefit life on Earth, co-creating progressive eutopias. Thus far, the focus has been on AI for Automated Theorem Proving, Formal Ethics, and exploring automated barter systems. This page contains links to my research blog posts1Some of the blog posts are on cool research that is not my work. and my research papers when there is no blog post2Google Scholar provides a reasonable list..