{"type": "article", "title": "VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/veritas-verifier-guided-proof-search-for-zero-shot-formal-theorem-proving", "original_source": "https://arxiv.org/abs/2606.19399", "published": "2026-06-19T04:00:00+00:00", "accessed": "2026-06-19", "id": "veritas-verifier-guided-proof-search-for-zero-shot-formal-theorem-proving"}