This website is meant to serve as a digital CV as well as a place where I can write about subjects of interest to me. I am currently a PhD student in Computer Science at Kansas State University. I am a member of the Data Semantics Lab and Dr. Pascal Hitzler is acting as my advisor.
Prior to this, I was employed as the lead machine vision engineer at USS Vision, Inc. in Livonia, Michigan, where I led the design and implementation of software for bespoke real-time computer vision inspection systems for use in manufacturing plants. Furthermore, I previously partook in research with the Affective Computing and Multimodal Systems Lab at the University of Michigan - Dearborn. I am also a graduate of this university with two undergraduate degrees in mathematics and computer science.
Presently, I am most interested in topics surrounding neuro-symbolic systems, automated theorem proving and formal methods (including autoformalization), as well as computer algebra systems.
To contact me, please email mblilley@ksu.edu.
A Primer on Tensors
In this post, we’ll be taking a brief look at tensors. These can be confusing objects to understand, but are central to many areas in mathematics, physics, and computer science.
Simplicial Homology
We discuss the problem of hole-counting within topological spaces via triangulation with simplicial complexes.
Ideal Membership and Constraint Satisfaction Problems
We describe the application of the ideal membership problem (IMP) and Gröbner bases to the problem of deciding constraint satisfaction problems (CSPs).
Topic Modeling in Embedding Spaces
In this post, we will be going over the paper Topic Modeling in Embedding Spaces by Dieng et al., with an extended explanation of the background content.