The first edition was quite long, so this time, I’m going to write as I go. It turns out that writing as I go becomes…
Preamble In Virtue Ethics Qua Learning Theory, I fleshed out the basic ethical principles, paradigms, and considerations in connection with (reinforcement) learning theory. My definition…
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…
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.…
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…
In math, lemmas are considered intermediate results, which is fairly pragmatic definition. Lemmas can help us to structure proofs, too. When considering a difficult theorem,…
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…
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…
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…
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…