466 citations · 945 across the 39 of their papers we have counts for
7 papers · 1 filter
Efficient Symbolic Computation via Hash Consing
Bowen Zhu, Aayush Sabharwal, Songchen Tan +3
Symbolic computation systems suffer from memory inefficiencies due to redundant storage of structurally identical subexpressions, commonly known as expression swell, which degrades…
The Future of Artificial Intelligence and the Mathematical and Physical Sciences (AI+MPS)
Andrew Ferguson, Marisa LaFleur, Lars Ruthotto +97
This community paper developed out of the NSF Workshop on the Future of Artificial Intelligence (AI) and the Mathematical and Physics Sciences (MPS), which was held in March 2025 w…
Physics-Constrained Flow Matching: Sampling Generative Models with Hard Constraints
Utkarsh Utkarsh, Pengfei Cai, Alan Edelman +2
Deep generative models have recently been applied to physical systems governed by partial differential equations (PDEs), offering scalable simulation and uncertainty-aware inferenc…
Semi-Explicit Neural DAEs: Learning Long-Horizon Dynamical Systems with Algebraic Constraints
Avik Pal, Alan Edelman, Christopher Rackauckas
Despite the promise of scientific machine learning (SciML) in combining data-driven techniques with mechanistic modeling, existing approaches for incorporating hard constraints in…
C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineering
Fredrik Bagge Carlson, Cody Tapscott, Gabriel Baraldi +1
Since time immemorial an old adage has always seemed to ring true: you cannot use a high-level productive programming language like Python or R for real-time control and embedded-s…
Scalable higher-order nonlinear solvers via higher-order automatic differentiation
Songchen Tan, Keming Miao, Alan Edelman +1
This paper demonstrates new methods and implementations of nonlinear solvers with higher-order of convergence, which is achieved by efficiently computing higher-order derivatives.…
Active Learning Enhanced Surrogate Modeling of Jet Engines in JuliaSim
Anas Abdelrehim, Dhairya Gandhi, Sharan Yalburgi +3
Surrogate models are effective tools for accelerated design of complex systems. The result of a design optimization procedure using surrogate models can be used to initialize an op…