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