Department seminar: AI in TCS Research

Note: This deparment seminar starts at 13:00 sharp.

Abstract: Theoretical Computer Science (TCS) is experiencing what may be a global shift as researchers use LLMs to prove complex results.

In this seminar, members of our department will share practical strategies for using these tools while maintaining research standards. Jan Arne will give a general introduction, while Fedor and Chunlei will report on some concrete cases, both of their own making and on notable findings from the wider community.

We will leave plenty of time for discussion and questions from the audience.