Benchmarking Testing in Automated Theorem Proving (ArXiv cs.FL Recent Papers, 2026)