Re:LLM4Decompile: Decompiling Binary Code with LLM
by saagarjha on Sunday March 17, 2024 @09:51PM
(#39739834)
Yes, and then someone needs to check that proof. It’s not particularly clear if that decompilation proof would be any more helpful than just doing the lifting by hand.
[ Parent
| on HN ]
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.