ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

23,521 results

Aaron Gray
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

Oxford Strachey Lectures Leo De Moura: Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI How can ...

47:15
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

326 views

7 months ago

Solving Optimization Problems
Large Language Models for Optimization

In thid video, I am going to talk about potential of large language models for solving optimization problems. + Matlab/Python codes ...

1:30
Large Language Models for Optimization

106 views

4 months ago