News for hackers. Stuff that matters.

A comment on Large Language Models for Compiler Optimization. Parent comment

Re:Large Language Models for Compiler Optimization by hoosieree on Monday September 18, 2023 @09:45AM (#37556041)
This is the right way to interact with LLMs in general. Ask for what you want, but independently verify the result. Don't be like that lawyer "...but I asked ChatGPT if it was telling the truth, and it said yes!"
[ Parent | on HN ]
Re:Large Language Models for Compiler Optimization by eru on Tuesday September 19, 2023 @02:22AM (#37566238)
What you describe is useful, but it's not really what my comment described.

My comment was describing the wacky idea of asking the model to come up with a formal, machine-checkable mathematical proof of correctness, too. That's hard in general.

The idea in the article of just letting the model pick between different, already proven-correct, optimization passes is much saner most of the time.

[ Parent | on HN ]