On: Psyche-C: automatic compilation of partially-avail...

[iiio8]

I was expecting this to be yet another LLM application, a la Copilot. Do the authors consider this, like now 6 years later?

[nextaccountic → iiio8]

This is complimentary to LLMs. For example, LLMs often produce code that doesn't quite compile. What if with some tweaks we could make it run and produce some output? Then, we could assess if the output is right.