← back to paper

Review history

arxiv: 2508.12344 · 2 revisions

Structural Abstraction and Refinement for Probabilistic Programs

1. 2026-08-15 UNVERDICTED LOW v1.4.0-alltime-deepseek-medium novelty 6.0
   47641 ms 585 in 5610 out 2026-08-15T17:21:21.516094+00:00
2. 2026-08-05 UNVERDICTED LOW v1.4.0-alltime-deepseek-medium novelty 6.0
   90454 ms 559 in 8608 out 2026-08-05T19:29:56.456379+00:00