This looks cool but I’m confused exactly how the compilation is supposed to work, and the docs[1] don’t make it any clearer. Is it promoting an LLM to try to ge

This looks cool but I’m confused exactly how the compilation is supposed to work, and the docs[1] don’t make it any clearer. Is it promoting an LLM to try to get it to generate deterministic code to do the task? [1] https://docs.a1project.org/guide/compilation https://docs.a1project.org/guide/compilation