Neat! I'm currently interested in the formal systems that chug away behind my art. Lots of it evolves out of mistakes and bumbles, but they would be nice to codify into shape grammars and such for a computer.
I guess there is a question though, can a formal understanding be useful from the start, or is it important to experiment to find novel things, then shore things up after the fact? 🤷♂️