Re:LLM4Decompile: Decompiling Binary Code with LLM
by logicchains on Monday March 18, 2024 @04:46AM
(#39741604)
No, nobody needs to check the proof; that's the whole point of formal theorem proving, the machine checks it for you.
[ Parent
| on HN ]
There are no comments on this comment yet.