← back to paper

Review history

arxiv: 2506.14627 · 2 revisions

Working Document -- Formalising Software Requirements with Large Language Models

1. 2026-08-15 UNVERDICTED HIGH v1.4.0-alltime-deepseek-medium novelty 2.0
   36570 ms 21065 in 4843 out 2026-08-15T19:48:22.195090+00:00
2. 2026-08-07 UNVERDICTED MODERATE v1.4.0-alltime-deepseek-medium novelty 1.0
   71478 ms 21065 in 8833 out 2026-08-07T00:15:25.164786+00:00