← All creators
E

Eve Bodnia

3 recommendations

Everything Eve personally uses, recommends, or has created — plus things they don't recommend — sourced from their own show and appearances on other podcasts.

Created by Eve

K
Kona created
L
Logical Intelligence created

Recent episodes

All episodes →

The AI Model Built for What LLMs Can't Do

Apr 15, 2026 · on Every guest · 3 recs
Show: All 3 | uses recommends mentions

All recommendations

Lean mentions software
"They attach the external verifiers to it such as languages like Lean 4, which is a proof machine-verifiable language, proof language, which allows you to check this output using mathematical frameworks."
From: The AI Model Built for What LLMs Can't Do • ▶ 5:08 • Apr 2026