TY  - RPRT
TI  - Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing
AU  - Seongmin Lee
AU  - Yaoxuan Wu
AU  - Miryung Kim
PY  - 2026
UR  - https://arxiv.org/abs/2607.09072
ID  - 2607.09072
ER  -