{"type": "article", "title": "Neural Wani: Toward Accelerating the Automated Theorem Prover wani for Dependent Type Theory", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/neural-wani-toward-accelerating-the-automated-theorem-prover-wani-for-dependent", "original_source": "https://aclanthology.org/2026.brigap-1.2/", "published": "2026-07-31T00:00:00+00:00", "accessed": "2026-08-07", "id": "neural-wani-toward-accelerating-the-automated-theorem-prover-wani-for-dependent"}