Groups | Search | Server Info | Login | Register

Groups > comp.compilers > #3663

Re: AI for optimization?

Show all headers | View raw

arnold@freefriends.org wrote:
> In article <25-05-016@comp.compilers>,
>  <anton@mips.complang.tuwien.ac.at> wrote:
>>I am just surprised that I read and hear so much about work based on LLMs, which
>>seems to be a dubious technology for doing things where correctness is
>>important. What am I missing?
>
> The fact that AI is "hot" right now? "Sexy"? "Good for getting
> startup capital"?  Who cares about correctness?
>
> Pardon my cynicism.

I samewhat different spirit: LLM folks have a lot of money for research.
They try to apply LLMs to various things, it does not matter if those
trials make senss or not.  In the process they improve their machinery
and may get some possible applications.

Concerning correctness, one possible variation is to treat LLMs as
heuristic search, which may find some gems but also may produce
garbage.  For me it would be natural to combine that with more
reliable technology.  Possible combionations:
- optimization hints for classic compilers (in some cases that
  may involve inventing more precise types), if hints are wrong
  optimization would not fire or would not lead to improvement
  in runtime.
- LLM produced proofs.  Compiler would check the proofs and
  reject wrong ones.

Of course we will see companies applying LLMs techniques with
little checks, but this is due to how companies works, if not
LLMs than something else would be abused.

--
                              Waldek Hebisch
[See the two papers I recently sent out, which use LLMs to do C
to Rust conversion but have feedback to say whether the conversion
was correct. -John]

Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

AI for optimization? anton@mips.complang.tuwien.ac.at - 2025-05-24 05:26 +0000
  Re: AI for optimization? arnold@freefriends.org - 2025-05-25 03:52 +0000
    Re: AI for optimization? antispam@fricas.org - 2025-05-25 22:11 +0000
      Re: AI for optimization? Kaz Kylheku <643-408-1753@kylheku.com> - 2025-05-26 03:42 +0000
    Re: AI for optimization? George Neuner <gneuner2@comcast.net> - 2025-05-26 00:28 -0400

csiph-web