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