@misc{indiciae4d08678d1c8b,
  title = {Type-Based Incorrectness Reasoning},
  author = {Zhe Zhou and Benjamin Delaware and Suresh Jagannathan},
  year = {2025},
  url = {https://arxiv.org/abs/2509.01511},
  note = {Source identifier: 2509.01511}
}