One of the cited references is Guillermo Webster — and while the article lists uncmin as the desired artifact, the project that uncmin was developed for takes the concept beyond layout to back solving for desired program outputs.

Carbide [0] is the project that encapsulated some of this in a workable demo. It’s really cool!

[0] https://alpha.trycarbide.com/