04:21
2026-08-15
aiunderstanding.org
artificial-intelligence
PROVE-RT Paper Reports 44.7% Success Generating Machine-Checked Real-Time Proofs
Three researchers posted a preprint introducing PROVE-RT, an LLM-assisted pipeline for generating machine-checked proof scripts in the PROSA/ROCQ framework, reporting a 44.7% success rate on a curated…