@misc{indiciaefc305ad2887b,
  title = {Correctness Firewalls for Synthesized Database Components},
  author = {Mohammad Javad Amiri and Carsten Binnig and Andreas Kipf and Tim Kraska and Ryan Marcus and Johannes Wehrstein and Chenyuan Wu and Geoffrey X. Yu and Zijie Zhao},
  year = {2026},
  url = {https://arxiv.org/abs/2611.05173},
  note = {Source identifier: 2611.05173}
}