ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

50 results

Machine Learning Street Talk
AI Can Write the Proof. Who Checks It? — Leonardo de Moura

Leonardo de Moura created Lean and co-created Z3. --- This episode is sponsored by Parallel. Parallel, where agents find ...

1:14:20
AI Can Write the Proof. Who Checks It? — Leonardo de Moura

7,315 views

12h ago