I've created a publicly-accessible directory of slides of talks I've given (or intend to give) here.
Greetings! Welcome to my webpage.
I'm a first year Computer Science PhD student at the University of Southern California, where I'm advised by Gaurav Sukhatme. I mostly work on Machine Learning, specifically Deep Inductive Logic Programming and Reinforcement Learning.
I prefer to be referred to by my initials, KR. My legal name is Kyle Robert Zentner.
I've begun informally publishing Jupyter notebooks to a public github repository. Mostly, these notebooks will be presentations of ideas in more detail than I can provide in a talk.
An implementation of Datalog in Rust which uses continuous truth values. It currently only supports in-memory truth tables.
Match-refute diagrams are a low-level hybrid between imperative and logic paradigms, related to both first order logic and binary decision diagrams.
I attended UC Berkeley (BS EECS, 2015), worked for Google (X), and now attend USC (PhD CS, 2023?). The full list of places I've been is a lot longer.