4 citations · 4 across the 6 of their papers we have counts for
6 papers
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
Eric Jiang, Xiao Liang, Yikai Zhang +19
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…
AutoKG: Efficient Automated Knowledge Graph Generation for Language Models
Bohan Chen, Andrea L. Bertozzi
Traditional methods of linking large language models (LLMs) to knowledge bases via the semantic similarity search often fall short of capturing complex relational dynamics. To addr…
Hate speech and hate crimes: a data-driven study of evolving discourse around marginalized groups
Malvina Bozhidarova, Jonathn Chang, Aaishah Ale-rasool +6
This study explores the dynamic relationship between online discourse, as observed in tweets, and physical hate crimes, focusing on marginalized groups. Leveraging natural language…