29 January 2024 to 2 February 2024
CERN
Europe/Zurich timezone

Problem solving as a translation task

31 Jan 2024, 11:00
1h
503/1-001 - Council Chamber (CERN)

503/1-001 - Council Chamber

CERN

162
Show room on map

Speaker

Francois Charton (Facebook AI Research)

Description

Neural architectures designed for machine translation can be used to solve problems of mathematics, by considering that solving amounts to translating the problem, a sentence in some mathematical language, into its solution, another sentence in mathematical language. Presenting examples from symbolic and numerical mathematics, and theoretical physics, I show how such techniques can be applied to develop AI for Science, and help understand the inner workings of language models.

Organised as a Data Science Seminar (Indico page)
Video conference link

Presentation materials