Nie jesteś zalogowany |
O dowodzeniu AD 2026 (i roli LLM-ów)
- Prelegent(ci)
- Aleksy Schubert
- Afiliacja
- MIM
- Język referatu
- polski
- Termin
- 6 listopada 2026 12:15
- Pokój
- p. 5450
- Tytuł w języku angielskim
- On proving in 2026 (and the role of LLMs therein)
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
