Computation and Language

Area > Computer Science > Computation and Language

Videos linked to Computation and Language

02:10:33

published on June 4, 2025

Intelligence artificielle

By Jill-Jênn Vie

45:40

published on May 31, 2025

A New Renaissance with AI

By Pascale Fung

54:02

published on May 30, 2025

Universal Optimal Control, Reinforcement Learning, and Reaching Goals in LLMs

By Yann Ollivier

56:56

published on May 30, 2025

Project Numina and AI for Theorem Proving

By Yann Fleureau

53:39

published on May 30, 2025

Search, Reason or Recombine? Paradigms for Scaling Formal Proving

By Fabian Glöckle

54:01

published on May 27, 2025

Why are LLMs not Better at Finding Proofs?

By Timothy Gowers

59:43

published on May 26, 2024

How can Machine Learning Help Mathematicians

By Amaury Hayat

59:43

published on May 25, 2024

How can Machine Learning Help Mathematicians

By Amaury Hayat

More +

Copyright Carmin.tv 2025

Give feedback