@misc{indiciae4725bfe5d664,
  title = {Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers},
  author = {Laguna Peralta, Ignacio [Lawrence Livermore National Laboratory]},
  year = {2025},
  url = {https://www.osti.gov/biblio/3001899},
  note = {Source identifier: 3001899}
}