TY  - RPRT
TI  - Towards Agentic Proof Harness Engineering
AU  - Rohith Kumar Shanmuganathan
AU  - Cedric Richter
AU  - Heike Wehrheim
PY  - 2026
UR  - https://arxiv.org/abs/2610.23241
ID  - 2610.23241
ER  -