← back to paper

Review history

arxiv: 2605.07147 · 2 revisions

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries

1. 2026-05-14 UNVERDICTED LOW v0.9.0 novelty 7.0
   31377 ms 5536 in 1012 out 2026-05-14T21:49:53.641632+00:00
2. 2026-05-11 UNVERDICTED LOW v0.9.0 novelty 7.0
   29490 ms 5536 in 1189 out 2026-05-11T01:00:03.410271+00:00