← back to paper

Review history

arxiv: 2605.10005 · 2 revisions

Combining Mechanical and Agentic Specification Inference for Move

1. 2026-05-14 UNVERDICTED LOW v0.9.0 novelty 5.0
   65654 ms 5506 in 1336 out 2026-05-14T22:01:01.528351+00:00
2. 2026-05-12 UNVERDICTED LOW v0.9.0 novelty 6.0
   59234 ms 5506 in 1365 out 2026-05-12T03:42:49.012358+00:00