Jelenlegi hely
Dániel Zombori, Tamás Szabó, János Horváth, Attila Szász, Tibor Csendes and Balázs Bán- helyi: Verification of artificial neural networks via MIPVerify and SCIP
Videok:
Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer