Research

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..

Automated Theorem Proving

  1. ProofWatch
  2. EnigmaWatch I
  3. EnigmaWatch II
  4. Make E Smart Again
  5. Research Shorts: ATP for HLAI and Can XGBoost Learn Subsumption?
  6. Research Shorts: Measuring Lemmas
  7. A Graph Neural Network Over Mathematical Formulas [Olšák et al.]
  8. Parental Guidance
  9. The Isabelle ENIGMA
  10. Learning Inference Guidance in Automated Theorem Proving [Ph.D. Thesis]
  11. Research Shorts: ATPs as Universal AIs: What Do AGI Architectures Suggest for ATP Research?3Slides. Reflections on AGI and AITP 2024 [AITP]

Formal Ethics Seed Ontology

  1. Formal Ethics Ontology Worklog 1
  2. Formal Ethics Ontology Worklog 2
  3. Formal Ethics Seed Ontology Wiki4In Progress.

Offer Networks

  1. Offer Networks Simulation and Dynamics [Master’s Thesis]
  2. The global brain and the emerging economy of abundance: Mutualism, open collaboration, exchange networks and the automated commons [Three Generation Paper]

Beneficial AGI

  1. Beneficial AGI: Care and Collaboration Are All You Need5TechRxiv preprint. Poster. Reflections on AGI and AITP 2024 [Position Paper]
  2. Beneficial AGI Viewed from the Ethical Paradigms