Szegedy Krisztián: AI for Mathematics and Autoformalization

2023. 02. 22. 16:00 - 2023. 02. 22. 17:30

SZTAKI & online

-

Artificial Intelligence

-

-

Event type: seminar

Intézeti: Intézeti

-

Deep learning szeminarium

Description

MILAB seminar series