5 papers
ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers
Jiayi Wu, Robert Joseph George, Anima Anandkumar
Formal theorem proving has emerged as a frontier challenge for machine learning, yet the ecosystem is fragmented: proofs remain siloed across incompatible systems, limiting both tr…
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
Adarsh Ganeshram, Haydn Maust, Valentin Duruisseaux +6
The physics-informed neural operator (PINO) is a machine learning paradigm that has demonstrated promising results for learning solutions to partial differential equations (PDEs).…
Tipping Point Forecasting in Non-Stationary Dynamics on Function Spaces
Miguel Liu-Schiaffini, Clare E. Singer, Nikola Kovachki +4
Tipping points are abrupt, drastic, and often irreversible changes in the evolution of non-stationary and chaotic dynamical systems. For instance, increased greenhouse gas concentr…
Artificial Intelligence for Science in Quantum, Atomistic, and Continuum Systems
Xuan Zhang, Limei Wang, Jacob Helwig +60
Advances in artificial intelligence (AI) are fueling a new paradigm of discoveries in natural sciences. Today, AI has started to advance natural sciences by improving, accelerating…
Score-based Diffusion Models in Function Space
Jae Hyun Lim, Nikola B. Kovachki, Ricardo Baptista +10
Diffusion models have recently emerged as a powerful framework for generative modeling. They consist of a forward process that perturbs input data with Gaussian white noise and a r…