Events
Detecting concurrent bugs in Go via capture and replay
ISTD Seminar by Martin Sulzmann – Prof Martin will survey the state of the art in the area of controlled concurrency (CCT) testing for Go to explore schedules that reveal panic and blocking bugs, and discuss several new novel aspects such as the ability to perform controlled replay of programs to guarantee that new schedules are actually explored in this seminar.
Beyond scale: efficient pre-training and controllable post-training for language models
ISTD PhD Oral Defence Seminar by Zeng Guangtao – Language models are foundational to modern artificial intelligence, but their development is often constrained by challenges in efficiency, controllability, and reasoning. In this thesis, we aim to address these limitations by introducing advanced paradigms at both the pre-training and post-training stages.
The poet as experiencer – poetic consciousness and nonhuman intelligence
HASS Talk by Adam Staley Groves – Presenting his recent monograph, The Poet as Experiencer: Wallace Stevens and Nonhuman Intelligence (Punctum Books, 2025) which proposes modernist poet Wallace Stevens as a perceiver of nonhuman intelligence (NHI).
Beyond optimal methods for minimax optimisation
ESD Seminar by Chengchang Liu – This talk will introduce several novel methods that achieve even faster convergence rates or better computational complexities compared to various optimal methods by effectively incorporating curvature information and leveraging the min-max structure.
Time-sensitive AI systems for physical agents: from DNN perception to LLM planning
ESD Seminar by Neiwen Ling – Research on developing time-sensitive AI systems, focusing on Deep Neural Network (DNN)-based perception and LLM-driven planning will be presented in this talk.
