\(\require{mathtools}\)

About

  • My name is Michael Lilley. 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 employed as a machine vision engineer at USS Vision, Inc. in Livonia, Michigan, where we design and build bespoke real-time machine vision inspection systems for manufacturing plants.
  • Furthermore, I partake 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 degrees in mathematics and computer science. Presently, I am most interested in topics surrounding neuro-symbolic AI, automated theorem proving, and computer algebra systems.
  • To contact me, please send an email to michael.brandon.lilley@protonmail.com.

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.

June 8, 2023 · Michael Lilley

Simplicial Homology

We discuss the problem of hole-counting within topological spaces via triangulation with simplicial complexes.

June 7, 2023 · Michael Lilley

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

May 28, 2023 · Michael Lilley

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.

May 28, 2023 · Michael Lilley