Lean4

product
1 mentions 1 recordings first heard Feb 2026 last heard 10 Feb ↑1 vs the 12 months before

Proof assistant used for formal verification of model outputs

Trend

mentions per week · public audio 7d30d6M12M
1 · 7 Feb SepDecMarJunnow

Peak in the week of 7 Feb — 1 mentions across 1 series.

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