@misc{indiciaec4da56be1763,
  title = {Counterexample Guided Learning in the Large using Reasoning Agents},
  author = {Hongyi Liu and Frederic Sala and Thomas Reps and Adithya Murali},
  year = {2026},
  url = {https://arxiv.org/abs/2606.11521},
  note = {Source identifier: 2606.11521}
}