[SUBS]RANK
VIDEOS / YC ROOT ACCESS / CA8IURQ5QP8

LeanAgent: Lifelong Learning for Formal Theorem Proving

YC ROOT ACCESS · AUG 08, 2026
▸ WATCH ON YOUTUBE
Views
424
Likes
—
Comments
—
Like rate
—
▸ Vs channel average
-96%
This video is at 0.0x the channel's average views.
LAST 13 UPLOADS · ■ THIS VIDEO
YC Root Access
@ycrootaccess · 373K SUBS · 90 VIDEOS
AUDIT →
More from this channel
Wafer: AI That Makes AI Faster 12 000 VIEWS · 5D AGO How Outset Turned AI Interviews Into a New Category 8 900 VIEWS · 10D AGO How Olivier Pomel Built Datadog By Refusing Every Shortcut 3 100 VIEWS · 15D AGO PostHog: Pivots Were The Real Lesson In Building A Startup 2 400 VIEWS · 15D AGO