← back to paper

Review history

arxiv: 2605.03356 · 2 revisions

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference

1. 2026-05-07 UNVERDICTED MODERATE v0.9.0 novelty 7.0
   31029 ms 5504 in 1237 out 2026-05-07T15:59:52.900351+00:00
2. 2026-05-07 CONDITIONAL LOW v0.9.0 novelty 7.0
   33618 ms 5482 in 1220 out 2026-05-07T02:19:15.696942+00:00