@jcoglan I saw this abstract (warning: i did not read the paper) recently touching on LLM-based decompilation projects assuming that you can be certain the decompilation worked if it passes tests which apparently this study shows is not the case.

https://arxiv.org/abs/2609.05370