Date/Time : 30 Apr 2025 14:00
Venue : S17 #04-05 (SR2)
Speaker : Zak Shumaylov,

In the last five years, neural solvers have emerged as powerful tools for learning solution operators of partial differential equations (PDEs). Paralleling the central role of symmetries in classical numerical analysis – where they guide the development of stable and structure-preserving algorithms, these principles are now proving equally vital in machine learning. Incorporation of symmetries often leads to faster learning, better generalization, with solutions respecting fundamental physical laws. This talk explores how similar principles can be be integrated into modern neural PDE solvers, focusing on Lie point symmetries, generalized symmetries, and Hamiltonian structures. These approaches demonstrate how revisiting classical symmetry ideas leads to more robust, data-efficient, and physically consistent learning frameworks

Add to calendar :

Date/Time : 30 Apr 2025 16:30
Venue : S17 #04-06 (SR1)
Speaker : Grigorios Chrysos , University of Wisconsin-Madison

Activation functions play a pivotal role in deep neural networks, enabling them to tackle complex tasks like image recognition. However, activation functions also introduce significant challenges for deep learning theory, network dynamics analysis, and properties such as interpretability and privacy preservation. In this talk, we revisit the necessity of activation functions across various scenarios. Specifically, we explore expressing network outputs through high-order interactions among input elements using multilinear algebra. This approach allows us to attain the necessary expressivity via these high-order interactions. Yet, the question remains: Is this expressivity alone sufficient for effective learning? Our recent research, presented at ICLR’24, unveils meticulously designed networks, which achieve strong performance even in demanding tasks, such as ImageNet image recognition.

Add to calendar :

Date/Time : 30 Apr 2025 14:00
Venue : S17 #04-04 (SR3)
Speaker : Lin Shu, Peking University

There are a variety of interesting chaotic dynamical systems in negatively curved spaces. Entropies related to these systems are important quantities for understanding not only the complexities of their dynamics but also the complexities of the underlying spaces. This partially explains why the study of entropies in negatively curved spaces has always been a vibrant topic in dynamical systems. In this talk, we will give a biased introduction to this heavy topic by focusing on some natural diffusions (for instance, foliated Brownian motion) associated with the geodesic flow in a negatively curved space. We will mention some of our results (joint with F. Ledrappier) on stochastic entropies of these diffusions, in an attempt to use these quantities to characterize the geometry of the underlying space, to find connections between classical dynamical measures, and to understand the linear response theory for heat conduction, etc.

Add to calendar :

Date/Time : 29 Apr 2025 15:00
Venue : S17 #04-05 (SR2)
Speaker : Federico Pasqualotto, University of California San Diego

In this talk, I will first review the singularity formation problem in incompressible fluid dynamics, describing how particle transport poses the main challenge in constructing blow-up solutions for incompressible fluids. I will then outline a new mechanism that allows us to overcome the effects of particle transport, leveraging the instability seen in the classical Taylor–Couette experiment. Using this mechanism, we construct the first swirl-driven singularity for the incompressible Euler equations in R^3. This is joint work with Tarek Elgindi (Duke University).

Add to calendar :

Date/Time : 29 Apr 2025 16:00
Venue : S17 #04-05 (SR2)
Speaker : Liu Jinpeng, Tsinghua University

Fault-tolerant quantum computers are expected to excel in simulating unitary dynamics, such as the dynamics of a quantum state under a Hamiltonian. Most applications in scientific and engineering computations involve non-unitary dynamics. First, we propose a simple method for simulating a general class of non-unitary dynamics as a linear combination of Hamiltonian simulation (LCHS) problems. The LCHS method can achieve optimal cost in terms of state preparation. Second, we generalize the LCHS formula to simulate time-evolution operators in infinite-dimensional spaces, including scenarios involving unbounded operators. We demonstrate the applicability of LCHS to a wide range of non-Hermitian dynamics, including linear parabolic PDEs and open quantum system dynamics. Our analysis provides insights into simulating general linear dynamics using a finite number of quantum dynamics and includes cost estimates for the corresponding quantum algorithms.

Add to calendar :

Date/Time : 28 Apr 2025 14:00
Venue : S17 #04-04 (SR3)
Speaker : Huajian Xin, University of Edinburgh

Large language models (LLMs) excel at information retrieval, knowledge memorization, and reasoning, yet they face challenges in domains with scarce data and long-tail distributions, such as formal mathematical theorem proving. In this domain, LLMs must generate rigorous, verifiable proof scripts for interactive theorem-proving systems. Challenges stem from limited natural-language corpora, the demand for logical precision, and strict accuracy requirements. In developing DeepSeek-Prover V1, we automated large-scale translation of natural-language mathematical problems into formal propositions and synthesized corresponding proofs. After rigorous multi-level filtering, fine-tuning on this dataset achieved state-of-the-art results, effectively distilling knowledge from data-rich to data-scarce parallel domains. DeepSeek-Prover V1.5 further introduced automatic annotation of chain-of-thought reasoning within proof code data, enabling smaller models to adopt explicit reasoning strategies that significantly improve long-reasoning tasks. This talk will also introduce formal mathematical theorem proving as an ideal benchmark for evaluating and training language models’ capabilities in rigorous reasoning.

Add to calendar :

Date/Time : 28 Apr 2025 15:00
Venue : S17 #04-05 (SR2)
Speaker : Lin, Youzuo, University of North Carolina at Chapel Hill

Computational Wave Imaging (CWI) enables the reconstruction of hidden structures and the estimation of physical properties within a medium by analyzing propagating wave signals. This technique has critical applications in fields such as seismic exploration of the Earth’s subsurface and ultrasound computed tomography in medical imaging. Traditional approaches to CWI are broadly categorized into physics-based methods and machine learning-based techniques. Physics-based methods deliver high-resolution, quantitatively accurate reconstructions of acoustic properties but are often computationally intensive and susceptible to issues of ill-posedness and nonconvexity. In contrast, machine learning approaches, particularly those leveraging deep learning, have recently emerged as powerful tools to address these challenges by offering faster, data-driven solutions. In this presentation, we introduce our recent advancements in hybrid CWI methodologies that combine fundamental wave physics with state-of-the-art machine learning techniques. We focus on the development of self-supervised learning strategies that significantly reduce computational costs while maintaining accuracy. We will demonstrate the effectiveness of these approaches through applications in subsurface geophysics and medical ultrasound imaging, highlighting their potential for broad, real-world impact.

Add to calendar :

Date/Time : 25 Apr 2025 14:00
Venue : S17 #04-04 (SR3)
Speaker : Xu Tianyi, Peking University (BICMR)

This talk explores the latest developments and emerging trends in the application of AI to mathematics, focusing on leveraging generative models for writing formalized mathematical proofs. We will introduce the idea of formalizing mathematics using proof assistants—computer programs designed to verify the correctness of mathematical proofs. We will then compare various approaches to formalization, highlighting the unique advantages of using large language models (LLMs) for this task. Additionally, we will address key challenges that naturally arise in this process and present our strategies for overcoming them.

Add to calendar :

Date/Time : 25 Apr 2025 16:00
Venue : S17 #04-04 (SR3)
Speaker : Youngjoon Hong, Seoul National University

We propose a novel approach for solving parametric partial differential equations (PDEs) using an operator network. This method combines the strengths of deep learning with traditional numerical techniques, specifically the finite element or spectral element methods, to address parametric PDEs ranging from singularly perturbed convection-diffusion equations to the Navier-Stokes equations, all without requiring paired input-output training data. Through extensive experiments on various benchmark problems, our approach has demonstrated excellent performance across diverse settings, showcasing its versatility in terms of accuracy, generalization, and computational efficiency. The proposed framework holds significant potential for applications in fields where PDEs are critical for modeling complex domains with diverse boundary conditions and singular behavior. Additionally, we provide a rigorous theoretical convergence analysis, grounded in numerical analysis, to further support our approach.

Add to calendar :