← back to paper

Review history

arxiv: 2506.13383 · 2 revisions

StacKAT: Infinite State Network Verification

1. 2026-08-15 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 8.0
   163311 ms 33934 in 16889 out 2026-08-15T20:03:40.813978+00:00
2. 2026-08-07 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 8.0
   127966 ms 33879 in 13225 out 2026-08-07T00:34:18.048185+00:00