@misc{indiciae95ebd6c9122f,
  title = {Type-Error Ablation and AI Coding Agents},
  author = {Shriram Krishnamurthi and Matthew Flatt},
  year = {2026},
  url = {https://arxiv.org/abs/2606.01522},
  note = {Source identifier: 2606.01522}
}