INSAIT Tech Series: Prof. Iryna Gurevych - NLP for more realistic fact-checking.

(47:25)

Year in Review - INSAIT’s Top Highlights for 2024

(1:15)

INSAIT Tech Series: Prof. Swarat Chaudhuri - Neurosymbolic programming – an emerging subarea of AI

(59:8)

INSAIT Tech Series: Prof. Armando Solar-Lezama - AI will program itself: synthesis, learning...

(35:44)

INSAIT Tech Series: Prof. Eran Yahav - Generative AI for Code and Beyond

(1:4:6)

INSAIT Tech Series: Prof. Moshe Vardi - Lessons from Texas, COVID-19 and the 737 Max...

(1:16:3)

INSAIT Tech Series: Prof. Martin Odersky - Effects and resources: New frontiers for safe and ...

(1:1:54)

INSAIT Tech Series: Prof. Alex Aiken - Programming the Machines of Tomorrow Today

(48:54)

INSAIT Tech Series: Prof. David Basin - Robbing the Bank with Automated Reasoning

(53:10)

INSAIT Tech Series: Prof. Robert Tarjan - Self-Adjusting Data Structures

(1:12:48)

INSAIT Tech Series: Prof. Zico Kolter - AI Safety \u0026 Robustness: Recent Advances \u0026 Future Directions

(43:48)

INSAIT Tech Series: Prof. Michael Bronstein - Geometric Deep Learning

(53:15)

Prof. Martin Vechev, Architect of INSAIT - The Vision of INSAIT (voice: Bulgarian, caption: English)

(10:19)

Martin Vechev talking on SkyNews about INSAIT!

(18)

INSAIT PhD program discussion with Prof. Martin Vechev

(1:29:16)

Interviews about INSAIT with Presidents of ETH Zurich and EPFL.

(3:23)

Prof. Peter Müller (ETH Zurich), INSAIT 2022 Conference: Automated Modular Program Verification

(31:46)

INSAIT Launch Event Highlights

(2:21)

Every Tech Job Explained in 10 minutes

(10:39)