← back to paper

Review history

arxiv: 2506.16639 · 2 revisions

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation

1. 2026-08-15 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 6.0
   126344 ms 19118 in 13237 out 2026-08-15T19:21:26.055242+00:00
2. 2026-08-06 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 6.0
   165914 ms 19118 in 17831 out 2026-08-06T23:38:26.228266+00:00