{"type": "article", "title": "PROVE-RT Paper Reports 44.7% Success Generating Machine-Checked Real-Time Proofs", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/prove-rt-paper-reports-44-7-success-generating-machine-checked-real-time-proofs", "original_source": "https://aiunderstanding.org/news/prove-rt-paper-reports-44-7-success-generating-machine-checked-real-time-proofs", "published": "2026-08-15T04:21:05+00:00", "accessed": "2026-08-15", "id": "prove-rt-paper-reports-44-7-success-generating-machine-checked-real-time-proofs"}