Lean4

product
1 mentions 1 recordings first heard Feb 2026 last heard 10 Feb ±0 this week

Proof assistant used for formal verification of model outputs

Trend

mentions per day · public audio 7d30d6M12M
No mentions in the last 7d.Widen the range to see when Lean4 was said.

Moments

newest first · ▶ plays the moment
Eve BodniaThe Neuron: AI Explained · Why Energy-Based Models Could Be the Next Big Shift in AI · 21:08 · 10 Feb
…We personally use Lean4.…
· Open transcript →
All 1 moments