Happy New Year :- ). Some years have passed since a New Year’s Themes post. This year I redid Steve Pavlina’s Submersion course from Nov…
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…
I got to playing this fad word guessing game called “Wordle“. As seen below, one can guess 6 times and gets hints: green if the…
I used to be systematically early. I really didn’t want to inconvenience people by being late, so I’d go with upper bounds on activity duration…