← back to paper

Review history

arxiv: 2605.20531 · 2 revisions

Pseudo-Formalization for Automatic Proof Verification

1. 2026-06-30 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   39587 ms 5721 in 1158 out 2026-06-30T17:14:37.281837+00:00
2. 2026-05-21 UNVERDICTED LOW v0.9.0 novelty 5.0
   36208 ms 5721 in 1137 out 2026-05-21T06:21:24.419987+00:00