← back to paper

Review history

arxiv: 2607.15854 · 2 revisions

Agentic Synthesis against Counterexample-Supplemented Sketches

1. 2026-08-04 CONDITIONAL HIGH v1.3.0-alltime-deepseek novelty 5.0
   60627 ms 19615 in 7535 out 2026-08-04T04:11:53.607077+00:00
2. 2026-08-01 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 6.0
   161603 ms 17009 in 15665 out 2026-08-01T22:07:42.041836+00:00