Yes, and then someone needs to check that proof. It’s not particularly clear if ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		saagarjha on March 18, 2024 \| parent \| context \| favorite \| on: LLM4Decompile: Decompiling Binary Code with LLM 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.

logicchains on March 18, 2024 [–]

No, nobody needs to check the proof; that's the whole point of formal theorem proving, the machine checks it for you.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact