6th Inter-experiment Machine Learning Workshop

Session

CERN Data Science Seminar

31 Jan 2024, 11:00

503/1-001 - Council Chamber (CERN)

91. Problem solving as a translation task

Francois Charton (Facebook AI Research)

31/01/2024, 11:00

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...