Skip to content

Garden of Minds

A Garden of Zar's Minds

Menu
  • Home
  • Mind fragments
  • Thus Lives Zarathustra
  • Zar’s Ramblings
  • Research

Tag: AI

Posted onJune 22, 2022August 10, 2022Research

The Isabelle ENIGMA

by zariuq1 Comment on The Isabelle ENIGMA

I bet you can already guess that the topic of this research post and paper [official, slides] is to apply our ENIGMA work to the…

Read More
Posted onJune 7, 2022June 9, 2022Research

Parental Guidance

by zariuq2 Comments on Parental Guidance

Parental Guidance is the fulfillment of a research question that had been nagging me since the early days of my Automated Theorem Proving (ATP) research.…

Read More
Posted onJune 1, 2022June 22, 2022Research

A Graph Neural Network Over Mathematical Formulas

by zariuq2 Comments on A Graph Neural Network Over Mathematical Formulas

Note: the research this post discusses was not done by me. The hero is Miroslav Olšák and supporting researchers. He has a cute YouTube channel…

Read More
Posted onMay 4, 2022August 30, 2022Research

Research Shorts: ATP for HLAI and Can XGBoost Learn Subsumption?

by zariuq

It may come as a surprise to you that some interesting, successful research projects wind up unpublished because they don’t go far enough to qualify…

Read More
Posted onApril 15, 2022June 6, 2022Research

Make E Smart Again

by zariuq

Continuing the trend from the ProofWatch, ENIGMAWatch I and II posts, I’ll discuss some more research casually. Make E Smart Again is my first solo…

Read More
Posted onApril 4, 2022April 11, 2022Research

EnigmaWatch II

by zariuq1 Comment on EnigmaWatch II

I’d like to have personalized blog post versions of all of my research papers, which would ideally be done in sync, yet this is coming…

Read More
Posted onOctober 11, 2021October 11, 2021Blog

Virtue Ethics Qua Learning Theory

by zariuq

tl;dr – I have converted to virtue ethics because it is tractable and can embed consequentialism and deontology. Moreover, I have realized that ethics is…

Read More
Posted onFebruary 27, 2019April 4, 2022Research

EnigmaWatch I

by zariuq

Continuing the trend from the ProofWatch post, I’ll discuss some research casually (and perhaps less laypersony than before). The short workshop paper (semi-published) can be…

Read More
Posted onJune 29, 2018April 4, 2022Research

ProofWatch

by zariuq

I’ll discuss my first arxived research as a Ph.D. student in language more fitting for a layperson. I’m glad to have had the opportunity to…

Read More
Posted onDecember 26, 2015December 13, 2020Zar's Ramblings

Digital Mind Ramblings Leading Up To Potential Intelligence Plateaus

by zariuq

Making cute and interesting digital life. We’ve decomposed the problem of intelligence into two broad fields Individual and System intelligence, i.e. that of humans or…

Read More

Posts navigation

Page 1 Page 2 Next Page

Recent Posts

  • Replacing a gasket is like replacing a lightbulb
  • Invariants and Personal Development
  • Formal Ethics Ontology Worklog 2
  • Why Much AI Ethics Lore is Highly Unethical
  • Formal Ethics Ontology Worklog 1

Goodreads

Recent books:

My Big TOE: Inner Workings
My Big Toe: Discovery
T is for Transformation
My Big TOE: Awakening
Science of Breath
The Oxygen Advantage: The Simple, Scientifically Proven Breathing Techniques for a Healthier, Slimmer, Faster, and Fitter You
The Eye of Revelation: The Original Five Tibetan Rites of Rejuvenation
Mahabharata: The Greatest Spiritual Epic of All Time
On the Social Contract


Zarathustra Goertzel's favorite books »

Categories

Archives

  • September 2023 (2)
  • August 2023 (1)
  • July 2023 (1)
  • June 2023 (1)
  • April 2023 (1)
  • January 2023 (1)
  • June 2022 (3)
  • May 2022 (2)
  • April 2022 (2)
  • March 2022 (2)
  • October 2021 (2)
  • August 2021 (2)
  • April 2021 (1)
  • December 2020 (1)
  • September 2020 (1)
  • May 2020 (1)
  • January 2020 (1)
  • December 2019 (1)
  • September 2019 (1)
  • July 2019 (1)
  • February 2019 (1)
  • June 2018 (8)
  • December 2017 (3)
  • July 2017 (1)
  • March 2017 (1)
  • December 2016 (3)
  • October 2016 (2)
  • September 2016 (1)
  • June 2016 (3)
  • May 2016 (2)
  • April 2016 (1)
  • February 2016 (2)
  • December 2015 (4)
  • September 2015 (1)
  • August 2015 (3)
  • June 2015 (1)
  • May 2015 (3)
  • April 2015 (1)
  • February 2015 (1)
  • January 2015 (1)
  • December 2014 (1)
  • October 2014 (1)
  • June 2014 (1)
  • May 2014 (2)
  • February 2014 (3)
  • January 2014 (3)
  • December 2013 (3)
  • September 2013 (2)
  • August 2013 (3)

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Amphibious Theme by TemplatePocket ⋅ Powered by WordPress