Publications (14)
Statistically adaptive learning for a general class of cost functions (SA L-BFGS)
Stephen Purpura, Dustin Hillard, Mark Hubenthal +3
We present a system that enables rapid model experimentation for tera-scale machine learning with trillions of non-zero features, billions of training examples, and millions of par…
Large Limit of the Linear Sigma Model via Stochastic Quantization
Hao Shen, Scott Smith, Rongchan Zhu +1
This article studies large limits of a coupled system of interacting equations posed over for , known as the linear sigma model. Uniform…
Parabolic equations with rough coefficients and singular forcing
Felix Otto, Jonas Sauer, Scott Smith +1
This article focuses on parabolic equations with rough diffusion coefficients which are ill-posed in the classical sense of distributions due to the presence of a singular forcing.…
Random Perturbations of Viscous Compressible Fluids: Global Existence of Weak Solutions
Scott Smith
This article is devoted to the well-posedness of the stochastic compressible Navier Stokes equations. We establish the global existence of an appropriate class of weak solutions em…
Stochastic continuity equations with conservative noise
Benjamin Gess, Scott Smith
The present article is devoted to well-posedness by noise for the continuity equation. Namely, we consider the continuity equation with non-linear and partially degenerate stochast…
The Habitable Exoplanet Observatory (HabEx) Mission Concept Study Interim Report
B. Scott Gaudi, Sara Seager, Bertrand Mennesson +79
For the first time in human history, technologies have matured sufficiently to enable a mission capable of discovering and characterizing habitable planets like Earth orbiting sunl…
The Habitable Exoplanet Observatory (HabEx) Mission Concept Study Final Report
B. Scott Gaudi, Sara Seager, Bertrand Mennesson +183
The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficient…
A Pure Demand Operational Semantics with Applications to Program Analysis
Scott Smith, Robert Zhang
This paper develops a novel minimal-state operational semantics for higher-order functional languages that uses only the call stack and a source program point or a lexical level as…
OpenRTLSet: A Fully Open-Source Dataset for Large Language Model-based Verilog Module Design
Jinghua Wang, Lily Jiaxin Wan, Sanjana Pingali +6
OpenRTLSet introduces the largest fully open-source dataset for hardware design, offering over 131,000 diverse Verilog code samples to the research community and industry. Our data…
Advanced Technology Large-Aperture Space Telescope (ATLAST): A Technology Roadmap for the Next Decade
Marc Postman, Vic Argabright, Bill Arnold +65
The Advanced Technology Large-Aperture Space Telescope (ATLAST) is a set of mission concepts for the next generation of UVOIR space observatory with a primary aperture diameter in…
A priori bounds for quasi-linear SPDEs in the full sub-critical regime
Felix Otto, Jonas Sauer, Scott Smith +1
This paper is concerned with quasi-linear parabolic equations driven by an additive forcing , in the full sub-critical regime . We are inspired by Hair…
Hölder estimates for fractional parabolic equations with critical divergence free drifts
Matias G. Delgadino, Scott Smith
This work focuses on drift-diffusion equations with fractional dissipation in the regime . Our main result is an a priori Hölder estimate on smooth solut…
Semantic-Type-Guided Bug Finding
Kelvin Qian, Scott Smith, Brandon Stride +2
In recent years, there has been an increased interest in tools that establish \emph{incorrectness} rather than correctness of program properties. In this work we build on this appr…
On the Boltzmann Equation with Stochastic Kinetic Transport: Global Existence of Renormalized Martingale Solutions
Samuel Punshon-Smith, Scott Smith
This article studies the Cauchy problem for the Boltzmann equation with stochastic kinetic transport. Under a cut-off assumption on the collision kernel and a coloring hypothesis f…