ENTITY Per Kristian Lehre

Per Kristian Lehre

PulseAugur coverage of Per Kristian Lehre — every cluster mentioning Per Kristian Lehre across labs, papers, and developer communities, ranked by signal.

Show in brief

Total · 30d

1 over 90d

Releases · 30d

0 over 90d

Papers · 30d

1 over 90d

TIER MIX · 90D

TOPICS

paper 1
other 1

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_324373 · Oct 26 · 15:22

LLMs design evolutionary algorithms with machine-checked runtime bounds in Lean

Researchers have developed a novel pipeline that uses Large Language Models (LLMs) to design evolutionary algorithms and mathematically prove their efficiency. This system, which leverages the Lean theorem prover to fil…

LLMs design evolutionary algorithms with machine-checked runtime bounds in Lean