[MathYouF]

I was watching this video recently from Weights and Biases on Linear Algebra intuition for ML.

A mention was made in it that the real reason matrices rather than code or formal logic are used in ML is because of their ability to be changed in small ways with a relevant directional change in the operability of that matrix. Changing a single character of a code block doesn't have the have smooth changes.

So your paper seems like a cool move in the right direction, and supportive of the work people are doing to try to make ML more interpetable by turning it into formal logic.