Til denne IMADA Talk kan du møde postdoc Xueying Qin (emne: Using LLMs in Lean 4: The Next Stage of Proof Automation) og lektor Lars Rohwedder (emne: AI for Math and TCS Research: A User's Perspective).
- Arrangør: IMADA
- Adresse: Campusvej 55, 5230 Odense M
- Kontakt Email: pbm@sdu.dk
- IMADA Talks afholdes på IMADA Forskertorv: https://clients.mapsindoors.com/sdu/573f26e4bc1f571b08094312/details/563cb9ac423b7d0540c9a914
- Tilføj til din kalender: https://eom.sdu.dk:443/events/ical/72477840-ecf9-4d74-af2e-556ec5ab16ea