Lean4

product
1 mentions 1 recordings first heard Feb 2026 last heard 10 Feb ↓1 vs the 6 months before

Proof assistant used for formal verification of model outputs

Trend

mentions per week · public audio 7d30d6M12M
No mentions in the last 6M.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