Machine Learning for Theorem Proving

master program

VU3 WS 2023/2024 703819

		room	consultation hours
VU	Cezary Kaliszyk	3M12	Wednesday	11:15 – 12:45

Wednesday

08:15 – 11:00

3W04 (ICT building, 2nd floor)

Online registration is required.