@misc{indiciaebc1a0b2def28,
  title = {Linear Loop Synthesis for Quadratic Invariants},
  author = {S. Hitarth and George Kenison and Laura Kovács and Anton Varonka},
  year = {2024},
  url = {https://arxiv.org/abs/2310.05120},
  note = {Source identifier: 2310.05120}
}