My Ph.D. thesis was accepted Nov 29, 2023. This year I felt inspired by some prolific scholars whose published content is, imo, less rigorous than…
With the advent of proto-AGI systems and accelerating progress, many a folk appear to be freaking out at the lack of guarantees AGI will roll…
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…
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…
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…