Tengyu Ma, Stanford University Abstract: I will discuss RL algorithms for automated theorem proving with LLMs, especially in the possible future regime where we run out of high-quality training data. To keep improving the models with limited data, we draw inspiration from mathematicians, who continuously develop new results, partly by proposing novel conjectures or exercises […]
Nigel Goldenfeld, UC San Diego Department of Physics and HDSI Abstract: The remarkable ability of modern neural networks to generalize improves with increasing network capacity, even when the number of model parameters or effective degrees of freedom exceeds the number of training data points. This phenomenon is all the more surprising given that generalization error […]
Contemporary vision models and vision–language models are increasingly deployed in high-stakes domains, yet remain opaque, fragile, and difficult to align across tasks and modalities. This workshop aim to foster dialogue on the urgent need for transparent, reliable, and safe computer vision systems, especially in critical domains such as healthcare, transportation, and legal decision making. It brings together […]
