{"type": "article", "title": "ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/proofevolve-neuro-symbolic-evolution-for-formal-automated-theorem-proving", "original_source": "https://www.machinebrief.com/news/proofevolve-neuro-symbolic-evolution-for-formal-automated-th-i36r", "published": "2026-08-28T04:00:00+00:00", "accessed": "2026-08-28", "id": "proofevolve-neuro-symbolic-evolution-for-formal-automated-theorem-proving"}