Brandon Araki

Graduate Student

My work sits at the intersection of three fields – formal logic, Bayesian inference, and reinforcement learning. The focus of my research is to develop algorithms for learning and planning using formal logic. In my research, I use formal logic to model tasks and rules. By incorporating models of rules into planning, it is possible to both learn the structure of the rules using Bayesian inference and to efficiently learn policies that satisfy the rules using reinforcement learning.

Research Areas

Impact Areas