Description
SZTAKI & Rényi MILAB Mesterséges Intelligencia Alapkutatás Szeminárium
Absztrakt:
Over the recent years deep learning has found successful applications in mathematical reasoning. Today, we can predict fine-grained proof steps, relevant premises, and even useful conjectures using neural networks. This talk summarizes recent developments of machine learning in mathematical reasoning and the vision of the N2Formal group at Google Research to create an automatic mathematician. The second part discusses the key challenges on the road ahead.
Az előadás magyar nyelvű, nyilvános, minden érdeklődőt szeretettel várunk.
A terem létszám korlátozott, maximum 60 fő vehet személyesen részt az előadáson, ezért a személyes jelenlét regisztrációhoz kötött:
https://www.sztaki.hu/szegedy-reg
Online: https://zoom.us/j/98023276181?pwd=UnJSNHBDZUxpMzEwUkRURWtubkhPUT09
Meeting ID: 980 2327 6181
Passcode: 076379