4 papers
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
Eric Jiang, Xiao Liang, Yikai Zhang +16
Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for we…
Generic Structural Stability for Systems of Hyperbolic Conservation Laws
Hong Kiat Tan, Andrea L. Bertozzi
This paper presents a proof of generic structural stability for Riemann solutions to system of hyperbolic conservation laws in one spatial variable, without diffusive…
Narrative Analysis of True Crime Podcasts With Knowledge Graph-Augmented Large Language Models
Xinyi Leng, Jason Liang, Jack Mauro +8
Narrative data spans all disciplines and provides a coherent model of the world to the reader or viewer. Recent advancement in machine learning and Large Language Models (LLMs) hav…
Optimal policy for control of epidemics with constrained time intervals and region-based interactions
Xia Li, Andrea L. Bertozzi, P. Jeffrey Brantingham +1
We introduce a policy model coupled with the susceptible-infected-recovered (SIR) epidemic model to study interactions between policy-making and the dynamics of epidemics. We consi…