@misc{indiciae8fc47ee0483a,
  title = {Foundations of Global Consistency Checking with Noisy LLM Oracles},
  author = {Paul He and Elke Kirschbaum and Shiva Kasiviswanathan},
  year = {2026},
  url = {https://arxiv.org/abs/2601.13600},
  note = {Source identifier: 2601.13600}
}