@misc{indiciaeffd3ef4d804f,
  title = {Automating the Analysis of Parsing Algorithms (and other Dynamic Programs)},
  author = {Tim Vieira and Ryan Cotterell and Jason Eisner},
  year = {2025},
  url = {https://arxiv.org/abs/2512.23665},
  note = {Source identifier: 2512.23665}
}