Seminars

Qihao Ye examines practical, affordable ways for individual mathematicians to use AI in literature searches, proof development and verification. The talk identifies seven recurring failure modes and introduces the open-source QED multi-agent system designed to address them. A case study on constructing Carleman weights for wave equations on the half-line shows how automated search can be combined with a researcher’s mathematical insight and rigorous checking. The organizer links both the implementation and the accompanying research paper. Online via Rutgers DIMACS Zoom. Wednesday 23 September 2026, 10:00–11:00 EDT (America/New_York; UTC−4). Use the Zoom link and passcode on the official event page. Organized by the DIMACS AI and Mathematics Seminar. This listing advertises the verified remote attendance option.

ISTA Lecture by Klaus Robert Müller (TU Berlin & Korea University, Seoul) on how machine learning and AI enable scientific research, particularly in medicine and chemistry, and on explainability techniques for extracting understanding from machine learning models.

Omar M. Yaghi examines how reticular chemistry changes the scale and diversity of materials that chemists can design. By joining molecular building blocks into extended structures, researchers have developed large families of metal–organic frameworks and covalent organic frameworks with tunable internal spaces and functions. The lecture asks how artificial intelligence and robotics could accelerate the preparation and exploration of these materials, moving chemical discovery from scarcity toward abundance. Yaghi connects this approach to carbon capture and the collection of water from air, building on design principles for nanoporous frameworks and their applications in gas storage and separation. The discussion extends the metal–organic framework research recognised by the 2025 Nobel Prize in Chemistry into current methods for discovery and environmental applications.

Tal Linzen, an associate professor of linguistics and data science at New York University and a research scientist at Google, will speak in MIT's Siegel Family Quest for Intelligence seminar series. His work combines behavioral experiments and computational methods to study language learning and comprehension, alongside large-language-model post-training, evaluation, and interpretability.

Yuko Munakata presents evidence challenging capacity-only accounts of self-control and explains how experience, effort, and expected payoff shape executive-function engagement and later outcomes.

Zohar Ringel of the Hebrew University of Jerusalem presents a renormalisation-group approach to deep learning based on neural-network field theories. The seminar examines scaling laws, the removal of non-learnable field modes, benign overfitting and open questions about feature learning. The confirmed Quantum Matter seminar takes place in the Bob Room at Perimeter Institute on 8 September 2026, from 15:30 to 17:00 Toronto time.

Margaret Livingstone of Harvard Medical School presents in Princeton Neuroscience Institute's public seminar series. Livingstone's laboratory studies how visual recognition occurs in the primate brain using behavior, brain imaging, and electrophysiology.

Michelle M. Li examines how computational analyses can preserve the biological context of a proposed treatment, including cell type, disease state, genetic background and patient characteristics. She introduces Medea, an AI system that combines biological software, predictive models and literature retrieval while checking intermediate steps and reconciling evidence. The seminar presents evaluations involving cell-specific target selection, cancer-cell synthetic lethality and immunotherapy response. A separate yeast experiment tests predictions against previously unpublished measurements of gene-pair interactions under DNA-damaging treatments. The research addresses whether an agent can transfer useful evidence between contexts while recognizing when that transfer is unsupported. Reported comparisons cover predictive performance, computational failures and the ability to abstain. This recording retains the original seminar date.

Klemens Rottner (Helmholtz Centre for Infection Research, Braunschweig) presents evidence that profilin acts as a master regulator of actin filament dynamics essential for cell migration and growth, controlling both formin- and Arp2/3 complex-dependent actin assembly pathways.

Traditional work in the study of human reward-based learning involves designing an experimental task---often inspired by Reinforcement Learning (RL) theory---and fits a small set of computational models---often inspired by RL algorithms---to that dataset. For example, researchers often model human behavior on bandit tasks using variants of Q-learning. While this approach has been highly productive, leading to landmark discoveries such as the dopamine reward prediction error hypothesis, it also has limitations. This talk focuses on the lack of generalizability of such models: Even if they closely fit behavior on the original task, models derived from the one-task-one-model paradigm usually predict behavior on other tasks quite poorly. I argue that this lack of generalizability is a fundamental problem for the cognitive sciences: we intuitively expect our models to be robust to superficial task differences, such as variations in the number of choice options, reward probabilities, or the exact kind of non-stationarity. I will propose potential solutions to this problem along two dimensions: the behavioral dataset and the computational model. Regarding computational models, I will introduce work in which we moved beyond the limitations of hand-crafted one-off models by employing flexible, data-driven methods. These methods allowed us to compare classes of models instead of individual model instances, allowing us to cover the space of possible models more exhaustively, and innovate cognitive mechanisms very efficiently. For the behavioral dataset, we move from using single learning tasks to a comprehensive task space that encompasses most existing paradigms in the literature, while closing the gaps between them in a near-continuous fashion. Our results suggest that more general models in conjunction with broader datasets can pave the road toward increasingly general models of human reward-based learning and decision making, and a persistent departure from many aspects of RL theory. Presented in the van Vreeswijk Theoretical Neuroscience Seminar series (formerly WWTNS) on 2026-05-20. Recording duration: 00:51:19.

Reward expectations – one’s prediction about the likelihood of future outcomes - play a central role in shaping the satisfaction derived from those outcomes. Most existing research treats expectations as static, assuming they remain fixed in time. However, real-life expectations are often dynamic, fluctuating as new information becomes available. For example, during a soccer game, your expectations of seeing your team winning will likely rise and fall as the game unfolds. In the main part of this talk, I will present a series of studies demonstrating that human expectations can be tracked at sub-second timescales. Using slot machines as a case study, we leverage the continuous deceleration of the reels to elicit moment-by-moment fluctuations in rewardexpectations. To capture these dynamics, we take complementary approaches: we use the high temporal resolution of electroencephalography (EEG) to track neural signatures of evolving expectations, and we develop a novel behavioral paradigm (“Slot or Not”) designed to measure changes in expectations via betting behavior. Across four studies, we show that expectations fluctuate continuously and can be tracked both behaviorally and neurally. Extending these findings, a subsequent intracranial study shows that the human orbitofrontal cortex (OFC) encodes the moment-by-moment changes of reward expectations. In the second part of this talk, I will return to the relationship between expectations andsatisfaction. If expectations shape satisfaction, and if they are best conceptualized as dynamic trajectories rather than static quantities, a key question arises: does the trajectory leading up to an outcome influence how that outcome is evaluated? I will outline a new research direction aimed at formalizing this relationship using computational modeling. This is ongoing work, and I welcome feedback on how best to formalize these ideas. Finally, I will discuss potential extensions of this framework to psychopathology, asking whether alterations in dynamic expectations may characterize conditions such as Major Depressive Disorder and Gambling disorder. Together, this work introduces a new framework for studying expectations as dynamic processes, offering a richer understanding Presented in the van Vreeswijk Theoretical Neuroscience Seminar series (formerly WWTNS) on 2026-04-29. Recording duration: 00:42:25.

Sharan Banagiri uses gravitational-wave observations to investigate how stellar-mass binary black holes form. The first part of the fourth LIGO–Virgo–KAGRA observing run more than doubled the number of detections, revealing new population features and clarifying earlier ones. The talk surveys notable and puzzling subpopulations, relates them to formation channels, and connects the evidence with transient phenomena and compact-object astrophysics. As the sample grows, these identifiable subpopulations can support a broader physical account of binary black-hole formation.

Nick Bostrom and Brian Greene examine how increasingly capable artificial intelligence challenges familiar accounts of human creativity, originality and consciousness. They discuss whether machine creativity differs fundamentally from human creativity and what evidence could bear on the possibility of subjective experience in AI systems. The conversation also considers Bostrom’s concerns about systems that recognise when they are being evaluated and change their behaviour, and the resulting difficulty of assessing alignment. It then turns to a hypothetical future in which automation removes much instrumental work: what would give human lives purpose, and would the elimination of practical problems suffice for a worthwhile life? The discussion includes education, human agency and the distinction between pleasurable simulated experience and engagement with reality.

Maximilian Kasy examines the human choices and ownership structures shaping artificial intelligence. After introducing how AI works, he focuses on who determines its objectives and controls the resources needed to build it: data, computing capacity, expertise and energy. The lecture argues that these decisions, rather than autonomous technological inevitability, influence the distribution of AI’s benefits and harms in an already unequal society. It presents a framework for understanding AI capabilities and considers democratic control of objectives and public oversight as responses to those concerns.

Useful internal representations should explain the patterns of regularities and dependencies among observations. Probabilistic graphical models promise a principled way to uncover latent factors as such, but they are hard to scale to handle high-dimensional sensory observations and complicated dependencies structures. Neural-networks, on the other hand, excel at approximating complicated high-dimensional functions, but their internal representations do not easily lend themselves to a probabilistic interpretation. Despite some successes, a general unified approach is still missing for integrating the two approaches. I will describe a novel approach towards merging adaptive neural-network components into a probabilistic framework, based on three core ideas. The first is to train a set of networks to collectively perform inference, leveraging the ability of pattern-recognition methods to amortise complicated transformations. The second is to constrain the way in which the outputs of these networks are interpreted, transformed, and combined together. These constraints, together with the learning objective itself, are derived directly from probabilistic considerations encoded in a graphical model. Finally, the third core idea is that of recognition-parametrisation, allowing the inference ("recognition") procedure to directly define the model itself, without requiring an explicit "generative" decoder. Presented in the van Vreeswijk Theoretical Neuroscience Seminar series (formerly WWTNS) on 2026-03-04. Recording duration: 00:48:26.

Current machine learning systems consume vastly more energy than biological brains. Neuromorphic systems aim to overcome this difference by mimicking the brain’s information coding via discrete voltage spikes. However, it remains unclear how both artificial and natural networks of spiking neurons can learn energy-efficient information processing strategies. Here we propose Predictive Coding Light (PCL), a recurrent hierarchical spiking neural network for unsupervised representation learning. In contrast to previous predictive coding approaches, PCL does not transmit prediction errors to higher processing stages. Instead, it suppresses the most predictable spikes and transmits a compressed representation of the input. Using only biologically plausible spike-timing based learning rules, PCL reproduces a wealth of findings on information processing in visual cortex and permits strong performance in downstream classification tasks. Overall, PCL offers a new approach to predictive coding and its implementation in natural and artificial spiking neural networks

Predictive processing offers a unifying view of neural computation, proposing that brains continuously anticipate sensory input and update internal models based on prediction errors. In this talk, I will present converging evidence for the computational mechanisms underlying this framework across human neuroscience and deep neural networks. I will begin with recent work showing that large-scale distributed prediction-error encoding in the human brain directly predicts how sensory representations reorganize through predictive learning. I will then turn to PredNet, a popular predictive coding inspired deep network that has been widely used to model real-world biological vision systems. Using dynamic stimuli generated with our Spatiotemporal Style Transfer algorithm, we demonstrate that PredNet relies primarily on low-level spatiotemporal structure and remains insensitive to high-level content, revealing limits in its generalization capacity. Finally, I will discuss new recurrent vision models that integrate top-down feedback connections with intrinsic neural variability, uncovering a dual mechanism for robust sensory coding in which neural variability decorrelates unit responses, while top-down feedback stabilizes network dynamics. Together, these results outline how prediction error signaling and top-down feedback pathways shape adaptive sensory processing in biological and artificial systems.

Functional connectomics reveals general wiring rule in mouse visual cortex