← back to paper

Review history

arxiv: 2604.27601 · 2 revisions

SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents

1. 2026-07-01 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   49325 ms 5762 in 1188 out 2026-07-01T08:16:38.379679+00:00
2. 2026-05-07 UNVERDICTED LOW v0.9.0 novelty 8.0
   96547 ms 5509 in 1253 out 2026-05-07T07:21:23.527521+00:00