@misc{indiciae40e6c713d95e,
  title = {Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing},
  author = {Seongmin Lee and Yaoxuan Wu and Miryung Kim},
  year = {2026},
  url = {https://arxiv.org/abs/2607.09072},
  note = {Source identifier: 2607.09072}
}