Re:LLM4Decompile: Decompiling Binary Code with LLM
by thfuran on Sunday March 17, 2024 @11:25AM
(#39735071)
Then it's not a formal verification tool. Generative models are profoundly not fit for that purpose.
[ Parent
| on HN ]
There are no comments on this comment yet.