TY  - RPRT
TI  - VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving
AU  - Manish Acharya
AU  - Zhenyu Liao
AU  - Yueke Zhang
AU  - Kevin Leach
AU  - Yu Huang
AU  - Yifan Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2606.19399
ID  - 2606.19399
ER  -