@spdegabrielle @dimitriselectif @shriramk Interesting, thanks! So then the direction is to use LLM + symbolic tools, which is kind of what you expect. Similar to meta tools like the use of compiler generators and that MPS-tool from Jetbrains.