Eve Bodnia

0 recommended products

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

Recent episodes

All →

The AI Model Built for What LLMs Can't Do

Apr 15

Show: All 1 | uses recommends mentions

Showing 1 of 1 product

Clear filters

Lean mentions software

Mentioned in 1 episode

"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 15, 2026

0 recommended · 0 sponsored · 0 warned against · 0 episodes