← back to paper

Review history

arxiv: 2607.27964 · 2 revisions

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models

1. 2026-08-04 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 6.0
   670435 ms 22581 in 17548 out 2026-08-04T03:15:53.700385+00:00
2. 2026-07-31 CONDITIONAL HIGH v1.2.0-daily-grok45 novelty 6.5
   63995 ms 28249 in 3635 out 2026-07-31T21:59:16.186646+00:00